2ec60c8Added binding form to syntax rules (and updated tutorial accordingly)Edwin Brady14 years ago 19495edCheck patterns are inaccessibleEdwin Brady15 years ago d54f335Added record testEdwin Brady15 years ago 02701e7Numeric ranges [a..b], [a,b .. c] and list monadEdwin Brady15 years ago 67c5734Added case and pattern matching let bindings 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 elaborationEdwin Brady15 years ago 1a12cc3Test for idiom brackets and Applicative classEdwin Brady15 years ago e1e8b95New testEdwin Brady15 years ago 88f6bf1Fix obscure where naming bugEdwin Brady15 years ago