Learn you an Agda (and achieve enlightenment)
Agda CSS HTML Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
css Main ch1 literate agda, for interactivity and highlighting. Dec 3, 2014
illustrations/raw
pages
static
templates Updated to latest hakyll, started rewrite of proof section Jan 20, 2013
.gitignore Clean up generator. Nov 9, 2015
LICENSE
Printf.agda
README.md
Setup.hs Updated to latest hakyll, started rewrite of proof section Jan 20, 2013
index.md
learn-you-an-agda.cabal
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.