git.iko.soy/Idris-dev
on ef93607 help sign in
history oftutorial/views.tex
all commits
61d39daSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etcEdwin Brady 2311d55rename O into Zraichoo 5b12933Corrected typo of the (++) example in views.textauli cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady 7e2765bIdiom brackets and dsl notation in tutorialEdwin Brady ce10256Tutorial typosEdwin 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 38c9ec8Theorem proving in the tutorialEdwin Brady 16708a9More flexibility using overloading functions in patternsEdwin Brady