Update CONTRIBUTORS and CHANGELOG
commit55dbed59ae0e3d2f9dc7bda8fe0668125d70d3ce
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 31 Jul 2013, 21:28 (13 years ago)
parentf27d3bb
CHANGELOG+1
@@ -15,6 +15,7 @@ New in 0.9.9:
1515* Integer literals for Fin
1616* Renamed O to Z, and fO to fZ
1717* Swapped Vect arguments, now Vect : Nat -> Type -> Type
18+* Added DecEq instances
1819* Add 'equiv' tactic, which rewrites a goal to an equivalent (convertible) goal
1920
2021Internal changes
CONTRIBUTORS+1
@@ -5,6 +5,7 @@ Nicola Botta
55Edwin Brady
66David Raymond Christiansen
77Jason Dagit
8+Simon Fowler
89Cezar Ionescu
910Irene Knapp
1011Mathnerd314