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