ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 03:34:13 +03:00
Code Issues Projects Releases Wiki Activity

Update CONTRIBUTORS and CHANGELOG

Browse Source
This commit is contained in:
Edwin Brady 2013-07-31 21:28:57 +01:00
parent f27d3bb85a
commit 55dbed59ae
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGELOG
View File

@ -15,6 +15,7 @@ New in 0.9.9:
* Integer literals for Fin
* Renamed O to Z, and fO to fZ
* Swapped Vect arguments, now Vect : Nat -> Type -> Type
* Added DecEq instances
* Add 'equiv' tactic, which rewrites a goal to an equivalent (convertible) goal
Internal changes

1
CONTRIBUTORS
View File

@ -5,6 +5,7 @@ Nicola Botta
Edwin Brady
David Raymond Christiansen
Jason Dagit
Simon Fowler
Cezar Ionescu
Irene Knapp
Mathnerd314