Andor Penzes

Related articles

124

Articles that can be useful in the future.

Counting Immutable Beans

8

# Implementation of the Counting Immutable Beans (CIB) for the GRIN compiler. # Summary CIB uses instrumentation of the original program. There are four new instructions in the syntax that...

Modular PrimOps

4

The GRIN frontends should not depend on the built-in evaluation of the primitive operations. Currently we are able to define the ffi and primitive operations, but their interpretation are still...

- [ ] Support String literal in parser - [ ] Handle different Int types - [ ] Better FFI ...

Order of `-p` libraries are important.

1

I experiment with idris2 custom code generation backend, and it seems that the order `-p` arguments are important for the compilation result. ``` euler% idris2 -p contrib -p network -p...

# Steps to Reproduce ``` module Issues.BracketIsNotProperlyClosed five : Int five = 5 issue : String issue = "Bracket is not propertly closed \{show (five}" someOtherDef : String someOtherDef =...

Redirect immediately from invalid path to login if the user is not logged in.

1

If you are not logged in, you get 404 on pages that do not exist, and 303/login on pages that do. it should be the latter for both.

User context should be part of the `HtmlT m`

2

The actual user context in `HtmlT m ()` is defined in the `Lucid.I18N` module. It should contain more information; e.g capabilities of the user.