git.iko.soy/Idris-dev
on ace080c help sign in
history oftutorial/provisional.tex
all commits
cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady ae1cf53Tutorial typos fixedEdwin Brady b752e2dMade tutorial and examples consistent with latest libraryEdwin Brady c613fabUpdate tutorialEdwin 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 ebf9100Binary adder exampleEdwin Brady dcc09e0Fix metavariable naming in namespacesEdwin Brady