software-foundations
software-foundations copied to clipboard
Published
20 hours ago •
idris-hackers
idris-hackers
Software Foundations in Idris
Software Foundations in Idris
:book: Download the PDF
Building
To rebuild the PDF, ensure the prerequisites are installed, then:
make pdf
Prerequisites
Others may work, but here are the versions I'm using.
| Dependency | Version |
|---|---|
| (run)ghc | 8.4.3 |
| Idris | 1.3.0 |
| latexmk | 4.59 |
| [GNU Make][] | 4.2.1 |
| minted | 2.5 |
| Iosevka | 1.14.3 |
| Pandoc | 2.2.1 |
| pandoc-types | 1.17.5.1 |
| Python | 3.6.6 |
| Pygments | 2.2.0 |
| XeLaTeX | 3.14159265-2.6-0.99999 (Web2C 2018/NixOS.org) |
Installing prerequisites
- macOS
idris-hackers