git.iko.soy/Idris-dev
on 449bb27 help sign in
history oftutorial/intro.tex
all commits
adbe613Brief documentation on 'parameters' blocks in tutorialEdwin Brady 0af8a2eWork on implementation paper; tutorial fixesEdwin Brady 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