@@ -10,7 +10,7 @@ Many thanks to the [contributors](https://github.com/paf31/purescript/graphs/con
10- Mutually recursive functions and types are now allowed within a module.
10- Mutually recursive functions and types are now allowed within a module.
11- Syntactic sugar for patterns in top-level declarations has been added. For example:
11- Syntactic sugar for patterns in top-level declarations has been added. For example:
13− sum [] _ = []
13+ sum [] = 0
14 sum (x:xs) = x + sum xs
14 sum (x:xs) = x + sum xs
16- Basic support for type classes has been added. Polymorphic types of the form `forall a. (C a) => ...` will not be inferred but can be checked. Type inference still works if all type class instances can be determined. There is not yet support for functionality like GHC's `FlexibleInstances`, `FlexibleContexts` or `MultiParamTypesClasses`. For example:
16- Basic support for type classes has been added. Polymorphic types of the form `forall a. (C a) => ...` will not be inferred but can be checked. Type inference still works if all type class instances can be determined. There is not yet support for functionality like GHC's `FlexibleInstances`, `FlexibleContexts` or `MultiParamTypesClasses`. For example: