juvix/notes/README.md

Tools used so far:

• cabal-edit

• hlint

• stan

• summoner

• ghcup

• See gluedeval. During elaboration different kind of evaluation strategies may be needed.

  • top vs. local scope.

• On equality type-checking, see abstract

• To document the code, see https://kowainik.github.io/posts/haddock-tips

Initial task order for Minijuvix indicated between parenthesis:

1. Parser (3.)
2. Typechecker (1.)
3. Compiler (2.)
4. Interpreter (4.)

• On deriving stuff using Standalone Der. See https://kowainik.github.io/posts/deriving.
• To avoid boilerplate in the cabal file, one could use common stanzas. At the moment, I'm using cabal-edit to keep the bounds and this tool do not support stanzas. So be it.
• Using MultiParamTypeClasses to allow me deriving multi instances in one line.