git.iko.soy/Idris-dev
on ee77b14 help sign in
history oftutorial/classes.tex
all commits
3c6fe06Error handling interpreter needs Functor instance (via bishboria)Edwin Brady d737d67Small library tweaks and documentation updateEdwin Brady cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady 906fe5cTutorial typoEdwin Brady 4bbbf1dDocument named instancesEdwin Brady 0af8a2eWork on implementation paper; tutorial fixesEdwin Brady 5399670Some documentation updatesEdwin Brady bb3e629Remark on types in instance blocksEdwin Brady c4866f4More on idiomsEdwin Brady 7e2765bIdiom brackets and dsl notation in tutorialEdwin Brady 856f142Fixed VNil in tutorial (well spotted Cezar :))Edwin Brady 0b98a91Debraced tutorialEdwin Brady 2e9fcd4Remove semicolons in tutorialEdwin Brady c8b0f28Use new syntax in libEdwin Brady f7c50cfMonad comprehension exampleEdwin Brady 37bb964Document comprehensionsEdwin Brady 93c06b5Some formattingEdwin Brady e62b7eaPattern matching lambda, plus tutorial updateEdwin Brady 17ad913Modules and namespaces section in tutorialEdwin Brady c154f5cMore tutorial: useful types, type classesEdwin Brady e5bc6f2A bit more tutorialEdwin Brady