forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCONTRIBUTORS
51 lines (50 loc) · 806 Bytes
/
CONTRIBUTORS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
Thanks to the following for their help and contributions:
Ozgur Akgun
Ahmad Salim Al-Sibahi
Edward Chadwick Amsden
Jan Bessai
Michael R. Bernstein
Nicola Botta
Edwin Brady
Jakob Brünker
Alyssa Carter
David Raymond Christiansen
Carter Charbonneau
Aaron Craelius
Jason Dagit
Guglielmo Fachini
Simon Fowler
Google
Zack Grannan
Cezar Ionescu
Heath Johns
Irene Knapp
Paul Koerbitz
Niklas Larsson
Shea Levy
Mathnerd314
Hannes Mehnert
Mekeor Melire
Melissa Mozifian
Dominic Mulligan
Jan de Muijnck-Hughes
Tom Prince
raichoo
Philip Rasmussen
Aistis Raulinaitis
Reynir Reynisson
Adam Sandberg Eriksson
Seo Sanghyeon
Benjamin Saunders
Alexander Shabalin
Jeremy W. Sherman
Timo Petteri Sinnemäki
JP Smith
startling
Chetan T
Matúš Tejiščák
Dirk Ullrich
Leif Warner
Daniel Waterworth
Jonas Westerlund
Sean Hunt