Skip to content
Commits on Nov 13, 2015
  1. Use latest latex-formulae

    committed Nov 13, 2015
Commits on Nov 9, 2015
  1. Clean up generator.

    committed Nov 9, 2015
Commits on Dec 3, 2014
  1. Correct TOC

    committed Dec 4, 2014
  2. Minor fixes

    committed Dec 3, 2014
  3. style tweak

    committed Dec 3, 2014
  4. Major cleanup and revision. Added dodgy hacks to Hakyll for cool math…

    … rendering and Agda integration.
    committed Dec 3, 2014
  5. Merge pull request #3 from sordina/patch-1

    Fails to check without the 'where'.
    committed Dec 3, 2014
  6. Create README.md

    committed Dec 3, 2014
  7. Update introduction.md

    committed Dec 3, 2014
  8. Update proofs.md

    committed Dec 3, 2014
  9. Update proofs.md

    committed Dec 3, 2014
  10. Update peano.md

    committed Dec 3, 2014
  11. Update introduction.md

    committed Dec 3, 2014
  12. Update peano.md

    committed Dec 3, 2014
  13. Update introduction.md

    committed Dec 3, 2014
  14. Update proofs.md

    committed Dec 3, 2014
Commits on Sep 3, 2013
  1. Merge pull request #9 from evelynmitchell/patch-1

    Fixed links learnyouahaskell.com
    committed Sep 2, 2013
Commits on Sep 2, 2013
  1. @evelynmitchell

    Fixed links learnyouahaskell.com

    They weren't resolving outside of github.
    evelynmitchell committed Sep 2, 2013
Commits on Jan 20, 2013
  1. Updated to latest hakyll, started rewrite of proof section

    Liam O'Connor-Davis committed Jan 21, 2013
Commits on Jun 2, 2012
  1. @sordina
Commits on Jul 23, 2011
Commits on Mar 4, 2011
Commits on Mar 3, 2011
Commits on Feb 16, 2011
  1. Updated TOC

    committed Feb 16, 2011
Commits on Feb 15, 2011
  1. Added TOC, Cover, some styles.

    committed Feb 16, 2011
  2. Added hakyll, rewrote some parts.

    committed Feb 16, 2011
Commits on Feb 3, 2011
  1. Added chap 1.. still needs work

    committed Feb 3, 2011
Commits on Jan 13, 2011
Commits on Dec 13, 2010
  1. Added owl (thanks tranma)

    committed Dec 14, 2010
  2. Completed Cover (thanks tranma)

    committed Dec 14, 2010
Commits on Dec 10, 2010
Commits on Nov 25, 2010
Something went wrong with that request. Please try again.