git.iko.soy/Idris-dev
on dfbb3db help sign in
history oftutorial/starting.tex
all commits
437526aUpdate version number in tutorialEdwin Brady 69d3216Minor tutorial updatesEdwin Brady 95607a5Merge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosureEdwin Brady 74cd49eMinor tutorial updatesEdwin Brady 9d53533Correct case of Main in tutorialEdwin Brady 792deafRemove Boehm reference from tutorialEdwin Brady adbe613Brief documentation on 'parameters' blocks in tutorialEdwin Brady d466a82Tutorial updatesEdwin Brady ae1cf53Tutorial typos fixedEdwin Brady 9839562Fix silly error in termination checker :)Edwin Brady b752e2dMade tutorial and examples consistent with latest libraryEdwin Brady ae47b8fMinor tutorial changesEdwin Brady 961d2a3FormattingEdwin Brady 2e9fcd4Remove semicolons in tutorialEdwin Brady 72c7dbaSome more tutorialEdwin Brady 8fbef42Started a new tutorial. Don't hold your breath.Edwin Brady