/idris-tutorial

A tutorial to the Idris Programming Language in HTML and EPUB formats.

Primary LanguageHTML

Idris tutorial

Deprecated, current version at http://www.github.com/idris-lang/Idris-dev.

View the tutorial in HTML, EPUB, PDF.
(PDF at http://www.idris-lang.org/documentation/ is of better quality).

Requirements

Asciidoctor requires Ruby:

$ gem install asciidoctor

To generate HTML run

$ asciidoctor idris-tutorial.adoc

Building EPUB and PDF requires asciidoc (PDF also needs FOP):

$ sudo apt-get install asciidoc fop
$ asciidoctor -b docbook idris-tutorial.adoc
$ a2x -f epub idris-tutorial.xml
$ a2x -k -fpdf -darticle --fop idris-tutorial.xml