Changelog for idris-0.1.5
New in 0.1.5
------------
* Changed '#' to Set for the type of types
- old syntax works, but is deprecated and will be removed soon.
* 'syntax' definitions
* %spec works in pattern clauses as well as CAFs
* Added 'Proof' type for marking computationally irrelevant terms.
* Added List permutation proofs to the library (perm.idr)
* Various new functions in the library.
* Lots of bug fixes
New in 0.1.4
------------
* Namespaces