git.iko.soy/Idris-dev
on bb3e629 help sign in
history oftutorial/idris-tutorial.pdf
all commits
88de6d0Update tutorial pdfEdwin Brady 401e9a0so type and pattern/term syntax extensions in tutorialEdwin Brady 1d76cd3Fix checked vs inferred bugEdwin Brady c613fabUpdate tutorialEdwin Brady 0a61aa0Update tutorialEdwin Brady ae47b8fMinor tutorial changesEdwin Brady 2ce525eintros tactic; some library tinkeringEdwin Brady 0b9cab2Note on cumulativity in tutorialEdwin Brady 0b98a91Debraced tutorialEdwin Brady 2e9fcd4Remove semicolons in tutorialEdwin Brady f7c50cfMonad comprehension exampleEdwin Brady 37bb964Document comprehensionsEdwin Brady 817c1a0Monad comprehension notationEdwin Brady 63fd5f6Documented case expressionsEdwin Brady a328ff1update tutorial pdfEdwin Brady 4cfbff1Tinkered with syntax rules section in tutorialEdwin Brady 310ca03First complete tutorial draftEdwin Brady ebbcf8dUpdate tutorial pdfEdwin Brady 9ca99e9Some more tutorial adapted from old versionEdwin Brady