Home

Awesome

Software Foundations in Idris

Build Status

: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.

DependencyVersion
(run)ghc8.4.3
Idris1.3.0
latexmk4.59
[GNU Make][]4.2.1
minted2.5
Iosevka1.14.3
Pandoc2.2.1
pandoc-types1.17.5.1
Python3.6.6
Pygments2.2.0
XeLaTeX3.14159265-2.6-0.99999 (Web2C 2018/NixOS.org)

Installing prerequisites

<!-- Named Links -->