forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
/
CONTRIBUTORS
56 lines (55 loc) · 874 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
52
53
54
55
56
Thanks to the following for their help and contributions:
Ozgur Akgun
Ahmad Salim Al-Sibahi
Edward Chadwick Amsden
Michael R. Bernstein
Jan Bessai
Nicola Botta
Edwin Brady
Vitaly Bragilevsky
Jakob Brünker
Alyssa Carter
Carter Charbonneau
David Raymond Christiansen
Aaron Craelius
Jason Dagit
Adam Sandberg Eriksson
Guglielmo Fachini
Simon Fowler
Google
Zack Grannan
Sean Hunt
Cezar Ionescu
Heath Johns
Irene Knapp
Paul Koerbitz
Niklas Larsson
Shea Levy
Mathnerd314
Hannes Mehnert
Mekeor Melire
Melissa Mozifian
Jan de Muijnck-Hughes
Dominic Mulligan
Echo Nolan
Tom Prince
raichoo
Philip Rasmussen
Aistis Raulinaitis
Reynir Reynisson
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
Eric Weinstein
Jonas Westerlund
Björn Aili
Zheng Jihui