Learn you an Agda (and achieve enlightenment)
Agda CSS HTML Haskell
Latest commit 118c5d9 Nov 13, 2015 @liamoc Use latest latex-formulae
Failed to load latest commit information.
css Main ch1 literate agda, for interactivity and highlighting. Dec 3, 2014
illustrations/raw Added some new raw illustrations for the introduction. Mar 4, 2011
pages Correct TOC Dec 4, 2014
static
templates Updated to latest hakyll, started rewrite of proof section Jan 21, 2013
.gitignore Clean up generator. Nov 9, 2015
LICENSE Updated to latest hakyll, started rewrite of proof section Jan 20, 2013
Printf.agda rewrote introduction, slight cleanup. Jan 13, 2011
README.md
Setup.hs Updated to latest hakyll, started rewrite of proof section Jan 20, 2013
index.md
learn-you-an-agda.cabal Use latest latex-formulae Nov 13, 2015
main.hs Use latest latex-formulae Nov 13, 2015
stack.yaml Clean up generator. Nov 9, 2015
toc.md

README.md

Learn You An Agda (and achieve enlightenment)

This is a work in progress tutorial for Agda. The markdown files are not meant to be consumed by GitHub.