mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-22 06:29:37 +03:00
41 lines
630 B
Plaintext
41 lines
630 B
Plaintext
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
|
|
Jason Dagit
|
|
Simon Fowler
|
|
Google
|
|
Cezar Ionescu
|
|
Irene Knapp
|
|
Paul Koerbitz
|
|
Shea Levy
|
|
Mathnerd314
|
|
Hannes Mehnert
|
|
Mekeor Melire
|
|
Melissa Mozifian
|
|
Dominic Mulligan
|
|
Jan de Muijnck-Hughes
|
|
Tom Prince
|
|
raichoo
|
|
Philip Rasmussen
|
|
Reynir Reynisson
|
|
Seo Sanghyeon
|
|
Benjamin Saunders
|
|
Alexander Shabalin
|
|
startling
|
|
Chetan T
|
|
Matúš Tejiščák
|
|
Dirk Ullrich
|
|
Leif Warner
|
|
Daniel Waterworth
|
|
Jonas Westerlund
|