Awesome Open Source
Awesome Open Source
Sponsorship

Software Foundations in Idris

Build Status

📖 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


Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
book (366) 
computer-science (146) 
idris (46) 

Find Open Source By Browsing 7,000 Topics Across 59 Categories