git.iko.soy/Idris-dev
on ef93607 help sign in
history oftutorial/interp.tex
all commits
61d39daSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etcEdwin Brady faf04f3rename fO into fZraichoo 4145030A couple small typo fixes in the tutorialBrent Yorgey 437526aUpdate version number in tutorialEdwin Brady 69d3216Minor tutorial updatesEdwin Brady 95607a5Merge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosureEdwin Brady cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady adbe613Brief documentation on 'parameters' blocks in tutorialEdwin Brady 6c08816More paper changesEdwin Brady d466a82Tutorial updatesEdwin Brady 7e2765bIdiom brackets and dsl notation in tutorialEdwin Brady b752e2dMade tutorial and examples consistent with latest libraryEdwin Brady 7df6265Remove some needless bracketing from if...then...elseEdwin Brady 5ef6475Tutorial typosEdwin Brady ae47b8fMinor tutorial changesEdwin Brady f3ce933Some prelude shufflingEdwin Brady 628b851Added Cast to the prelude, and defined casts between primitivesEdwin Brady 8b1e498Change 'data' and where syntax so that they don't need '|' This breaks old code - instead ofEdwin Brady 0b98a91Debraced tutorialEdwin Brady 2e9fcd4Remove semicolons in tutorialEdwin Brady 93c06b5Some formattingEdwin Brady 19f4867Forgot interp.texEdwin Brady