git.iko.soy/Idris-dev
on ef93607 help sign in
history oftutorial/examples/letbind.idr
all commits
b752e2dMade tutorial and examples consistent with latest libraryEdwin Brady b0f47e1Made braces optional (at the expense of 'with' now needing the expression to be tested in brackets) do notation doesn't quite behave right - the first token after the do block must be at a lower level of indentation, which means putting it in brackets is awkward.Edwin Brady 2e9fcd4Remove semicolons in tutorialEdwin Brady 63fd5f6Documented case expressionsEdwin Brady e62b7eaPattern matching lambda, plus tutorial updateEdwin Brady