git.iko.soy/Idris-dev
on ef93607 help sign in
history oftutorial/typesfuns.tex
all commits
acc98c5Fix a typo in the tutorial.Matus Tejiscak 61d39daSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etcEdwin Brady faf04f3rename fO into fZraichoo 2311d55rename O into Zraichoo d79a445Update where type inference example in tutorialEdwin Brady 69d3216Minor tutorial updatesEdwin Brady d737d67Small library tweaks and documentation updateEdwin Brady 1893024Update tutorial/typesfuns.texStuart Gale cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady 960c468Tutorial updates Note on local type inference in 'where', and 'mutual' blocks.Edwin Brady 9a444c5Add 'mod' and variantsEdwin Brady 2bbea5bTutorial correctionsEdwin Brady adbe613Brief documentation on 'parameters' blocks in tutorialEdwin Brady 0215302corrected wrong type signature in definition of 'so' in tutorial.Mekeor Melire 0af8a2eWork on implementation paper; tutorial fixesEdwin Brady ae1cf53Tutorial typos fixedEdwin Brady 7e2765bIdiom brackets and dsl notation in tutorialEdwin Brady 71ac2bcAdd records to tutorialEdwin Brady b752e2dMade tutorial and examples consistent with latest libraryEdwin Brady 247b20cSome minor fiddlingEdwin Brady 401e9a0so type and pattern/term syntax extensions in tutorialEdwin Brady 3b13341Better error reporting for unresolved type classesEdwin Brady 1d76cd3Fix checked vs inferred bugEdwin Brady 7df6265Remove some needless bracketing from if...then...elseEdwin Brady 5ef6475Tutorial typosEdwin Brady ce10256Tutorial typosEdwin Brady 856f142Fixed VNil in tutorial (well spotted Cezar :))Edwin Brady ae47b8fMinor tutorial changesEdwin Brady 8b1e498Change 'data' and where syntax so that they don't need '|' This breaks old code - instead ofEdwin Brady 0b98a91Debraced tutorialEdwin Brady 961d2a3FormattingEdwin Brady 2e9fcd4Remove semicolons in tutorialEdwin Brady 37bb964Document comprehensionsEdwin Brady 93c06b5Some formattingEdwin Brady e24955aNote on where scoping and types in tutorialEdwin Brady 63fd5f6Documented case expressionsEdwin Brady e62b7eaPattern matching lambda, plus tutorial updateEdwin Brady c154f5cMore tutorial: useful types, type classesEdwin Brady 9ca99e9Some more tutorial adapted from old versionEdwin Brady 8ea902dAdded %hide and %freeze directivesEdwin Brady 4b63e6eError message in tutorialEdwin Brady e261167Add some string primitives (may need latest Epic)Edwin Brady 72c7dbaSome more tutorialEdwin Brady e5bc6f2A bit more tutorialEdwin Brady