git.iko.soy/Idris-dev
on ef93607 help sign in
history oftutorial/theorems.tex
all commits
2311d55rename O into Zraichoo fa29447another small typo fix in tutorialBrent Yorgey cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady 7438e0fDocument --warnpartial Behaviour fixed so that it doesn't report declared partial functionsEdwin Brady 3f6fd87Bring tutorial up to date with new termination checkerEdwin Brady adbe613Brief documentation on 'parameters' blocks in tutorialEdwin Brady d466a82Tutorial updatesEdwin Brady ae1cf53Tutorial typos fixedEdwin Brady 6b6dc72Added note on the empty type and totality checking to the tutorialEdwin Brady 9839562Fix silly error in termination checker :)Edwin Brady b752e2dMade tutorial and examples consistent with latest libraryEdwin Brady 2ce525eintros tactic; some library tinkeringEdwin Brady 2e9fcd4Remove semicolons in tutorialEdwin Brady 93c06b5Some formattingEdwin Brady e24955aNote on where scoping and types in tutorialEdwin Brady 38c9ec8Theorem proving in the tutorialEdwin Brady dcc09e0Fix metavariable naming in namespacesEdwin Brady