Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Feb 27, 2012
  1. Update dependencies and correct examples

    Edwin Brady authored
Commits on Feb 26, 2012
  1. Tutorial updates

    Edwin Brady authored
Commits on Feb 2, 2012
  1. Better type class resolution

    Edwin Brady authored
  2. More on errors; propagate line numbers

    Edwin Brady authored
Commits on Feb 1, 2012
  1. Fix silly error in termination checker :)

    Edwin Brady authored
Commits on Jan 28, 2012
  1. Update tutorial pdf

    Edwin Brady authored
Commits on Jan 26, 2012
Commits on Jan 24, 2012
  1. Error message tinker

    Edwin Brady authored
Commits on Jan 16, 2012
  1. Update tutorial

    Edwin Brady authored
  2. Propagate solutions properly

    Edwin Brady authored
  3. Remove some needless bracketing from if...then...else

    Edwin Brady authored
Commits on Jan 8, 2012
  1. Note on cumulativity in tutorial

    Edwin Brady authored
Commits on Jan 7, 2012
  1. Fix error recovery in repl

    Edwin Brady authored
  2. Change 'data' and where syntax so that they don't need '|'

    Edwin Brady authored
    This breaks old code - instead of
    
    data Foo : T where
         c1 : Foo T1
       | c2 : Foo T2
    
    use
    
    data Foo : T where
         c1 : Foo T1
         c2 : Foo T2
    
    For consistency with other syntactic forms, explicit grouping is
    achieved by
    
    data Foo : T where {
         c1 : Foo T1;
         c2 : Foo T2;
    }
  3. Made braces optional

    Edwin Brady authored
    (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.
Commits on Jan 6, 2012
  1. Remove semicolons in tutorial

    Edwin Brady authored
  2. Monad comprehension example

    Edwin Brady authored
  3. Documented case expressions

    Edwin Brady authored
  4. Pattern matching lambda, plus tutorial update

    Edwin Brady authored
Commits on Jan 1, 2012
  1. First complete tutorial draft

    Edwin Brady authored
  2. Binary adder example

    Edwin Brady authored
  3. Fix metavariable naming in namespaces

    Edwin Brady authored
Commits on Dec 31, 2011
  1. Added well-typed interpreter section to tutorial

    Edwin Brady authored
  2. Modules and namespaces section in tutorial

    Edwin Brady authored
  3. More tutorial: useful types, type classes

    Edwin Brady authored
Commits on Dec 18, 2011
  1. Error message in tutorial

    Edwin Brady authored
Commits on Dec 13, 2011
  1. Started a new tutorial. Don't hold your breath.

    Edwin Brady authored
Something went wrong with that request. Please try again.