Software Foundations in Idris
๐ Download the PDF
To rebuild the PDF, ensure the prerequisites are installed, then:
make pdf
Others 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) |