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