git.iko.soy/Idris-dev
on 71ac2bc help sign in
history oftutorial/idris-tutorial.tex
all commits
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