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