/learn-you-an-idris

A Idris tutorial in the making based on “Learn You a Haskell for Great Good!” by Miran Lipovača

Primary LanguageMakefile

Learn You an Idris for the Good!

adapted for Idris by Marcus Herbold.

This is my personal adaption of “Learn You a Haskell for Great Good!”, the prettiest book for learning Haskell that I know of. I obtained this copy by using Pandoc.

You can read the original Haskell book online or buy a copy.

What is this repo for?

With the help of this repo, you can make your own ebook version of the book. Make sure you have Pandoc installed and pdflatex (for making the pdf) and then use 'make all', 'make epubs' or 'make pdfs' depending on what you want. The output will be written to a directory called 'out'

License

This book is licensed under an Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) license.