Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on May 30, 2012
Commits on Apr 24, 2012
  1. Check patterns are inaccessible

    Edwin Brady authored
Commits on Jan 27, 2012
  1. Added record test

    Edwin Brady authored
Commits on Jan 6, 2012
  1. Numeric ranges [a..b], [a,b .. c] and list monad

    Edwin Brady authored
  2. Added case and pattern matching let bindings

    Edwin Brady authored
    Also pattern matching bind in do notation
    case notation currently has limitations:
      - only works on simple types (each pattern must have the same type,
        more specifically)
      - return type needs to be known at the point of elaboration
Commits on Jan 4, 2012
  1. Test for idiom brackets and Applicative class

    Edwin Brady authored
Commits on Jan 1, 2012
  1. New test

    Edwin Brady authored
Commits on Dec 21, 2011
  1. Fix obscure where naming bug

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