juvix/notes

Tools used so far:

• cabal-edit
• hlint
• stan
• summoner
• ghcup

Also,

• 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