git.iko.soy/Idris-dev
on ef93607 help sign in
history oftutorial/intro.tex
all commits
61d39daSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etcEdwin Brady 437526aUpdate version number in tutorialEdwin Brady 69d3216Minor tutorial updatesEdwin Brady 95607a5Merge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosureEdwin Brady 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