git.iko.soy/Idris-dev
on 6dc5ea2 help sign in
history oftutorial/idris-tutorial.pdf
all commits
63c90dbAdded type providers to tutorialDavid Christiansen a4b7374Added :x, :dynamic, and %dynamic to the tutorialDavid Christiansen bac75d0Merge branch 'AddMissingStrLen' of https://github.com/JanBessai/Idris-dev into JanBessai-AddMissingStrLenEdwin Brady d13941cUpdate tutorialEdwin Brady 2396796Merge branch 'javascript' of https://github.com/raichoo/Idris-dev into raichoo-javascriptEdwin Brady 95607a5Merge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosureEdwin Brady 9070208Update CHANGELOGEdwin Brady 960c468Tutorial updates Note on local type inference in 'where', and 'mutual' blocks.Edwin Brady 50d93dcFix tutorial typoEdwin Brady 74cd49eMinor tutorial updatesEdwin Brady d27925cMerge branch 'master' of https://github.com/raichoo/Idris-devEdwin Brady e99339cMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady d466a82Tutorial updatesEdwin Brady 1819feamade TOC in tutorial clickable but still without colorMekeor Melire ae1cf53Tutorial typos fixedEdwin Brady 5399670Some documentation updatesEdwin Brady 6b6dc72Added note on the empty type and totality checking to the tutorialEdwin Brady 486b176Some re-ordering of the tutorialEdwin Brady 141694fFix typoEdwin Brady 0f60127Update tutorial pdfEdwin Brady 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