Dependencies:
- Idris2 downstream of PR#1335
- Installing the Idris 2 API
- Collie library for command line interfaces
- Idrall library for Dhall bindings
make temp/Example.pdf
Wishlist:
- Error handling
- Better support for incorporating into bigger documents by generating macros
- Batch mode
- Separate into a library + driver module (so we could write Idris programs that generate such sources)