Awesome Open Source
Awesome Open Source

Software Foundations in Idris

Build Status

📖 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.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
Python 3.6.6
Pygments 2.2.0
XeLaTeX 3.14159265-2.6-0.99999 (Web2C 2018/

Installing prerequisites

Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
book (390
computer-science (168
idris (45