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