Tools used so far:

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


Also,

- See
  [gluedeval](https://gist.github.com/AndrasKovacs/a0e0938113b193d6b9c1c0620d853784).
  During elaboration different kind of evaluation strategies may be
  needed.
    - top vs. local scope. 
- On equality type-checking, see [abstract](https://github.com/anjapetkovic/anjapetkovic.github.io/blob/master/talks/2021-06-17-TYPES2021/abstract.pdf)
- 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.)