git.iko.soy/Idris-dev
on aa8aefd help sign in
history oftutorial/interp.tex
all commits
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