git.iko.soy/Idris-dev
on 496cf41 help sign in
history oftutorial/idris-tutorial.tex
all commits
1819feamade TOC in tutorial clickable but still without colorMekeor Melire 486b176Some re-ordering of the tutorialEdwin Brady 7e2765bIdiom brackets and dsl notation in tutorialEdwin Brady 34331d9Document auto implicitsEdwin Brady 310ca03First complete tutorial draftEdwin Brady ebf9100Binary adder exampleEdwin Brady 38c9ec8Theorem proving in the tutorialEdwin Brady 16708a9More flexibility using overloading functions in patternsEdwin Brady c6c3901Added well-typed interpreter section to tutorialEdwin Brady c154f5cMore tutorial: useful types, type classesEdwin Brady 9ca99e9Some more tutorial adapted from old versionEdwin Brady e261167Add some string primitives (may need latest Epic)Edwin Brady 72c7dbaSome more tutorialEdwin Brady 8fbef42Started a new tutorial. Don't hold your breath.Edwin Brady