git.iko.soy/Idris-dev
on 02003d7 help sign in
history oftutorial/intro.tex
all commits
d466a82Tutorial updatesEdwin Brady 34331d9Document auto implicitsEdwin Brady ae47b8fMinor tutorial changesEdwin Brady 961d2a3FormattingEdwin Brady 2e9fcd4Remove semicolons in tutorialEdwin Brady c6c3901Added well-typed interpreter section to tutorialEdwin Brady c154f5cMore tutorial: useful types, type classesEdwin Brady 9ca99e9Some more tutorial adapted from old versionEdwin Brady d9834c1More string and char primitivesEdwin Brady 72c7dbaSome more tutorialEdwin Brady 8fbef42Started a new tutorial. Don't hold your breath.Edwin Brady