git.iko.soy/Idris-dev
on 308efea help sign in
history oftutorial/examples/classes.idr
all commits
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 f7c50cfMonad comprehension exampleEdwin Brady 17ad913Modules and namespaces section in tutorialEdwin Brady c154f5cMore tutorial: useful types, type classesEdwin Brady