Software Foundations in Idris
To rebuild the PDF, ensure the prerequisites are installed, then:
make pdfOthers may work, but here are the versions I'm using.
| Dependency | Version |
|---|---|
| (run)ghc | 8.0.2 |
| Idris | 1.1.1 |
| latexmk | 4.52c |
| Make | 4.2.1 |
| minted | 2.4.1 |
| Monoid | 0.61 |
| Pandoc | 1.19.2.1 |
| pandoc-types | 1.17.0.5 |
| Python | 3.6.1 |
| Pygments | 2.2.0 |
| XeLaTeX | 3.14159265-2.6-0.99998 (TeX Live 2017) |