git.iko.soy/Idris-dev
on master help sign in
Update CHANGELOG/CONTRIBUTORS
9c3b457Edwin Brady
CHANGELOG+4
compare with master
unifiedsplit
@@ -3,6 +3,10 @@ New in 0.9.13:
3* IDE support for retrieving structured information about metavariables
3* IDE support for retrieving structured information about metavariables
4* Experimental Bits support for JavaScript
4* Experimental Bits support for JavaScript
5
5
6+Internal changes
7+
8+* New implementation of erasure
9+
6New in 0.9.12:
10New in 0.9.12:
7--------------
11--------------
8
12
CONTRIBUTORS+4−3
@@ -10,22 +10,23 @@ Jason Dagit
10Simon Fowler
10Simon Fowler
11Cezar Ionescu
11Cezar Ionescu
12Irene Knapp
12Irene Knapp
13+Shea Levy
13Mathnerd314
14Mathnerd314
14Hannes Mehnert
15Hannes Mehnert
15Mekeor Melire
16Mekeor Melire
16Melissa Mozifian
17Melissa Mozifian
17Dominic Mulligan
18Dominic Mulligan
18Jan de Muijnck-Hughes
19Jan de Muijnck-Hughes
19−raichoo
20Tom Prince
20Tom Prince
21+raichoo
22+Reynir Reynisson
21Seo Sanghyeon
23Seo Sanghyeon
22Benjamin Saunders
24Benjamin Saunders
23startling
25startling
24Chetan T
26Chetan T
27+Matus Tejiscak
25Dirk Ullrich
28Dirk Ullrich
26Leif Warner
29Leif Warner
27Daniel Waterworth
30Daniel Waterworth
28Jonas Westerlund
31Jonas Westerlund
29−Reynir Reynisson
30−Shea Levy
31
32