mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-22 06:29:37 +03:00
24 lines
325 B
Plaintext
24 lines
325 B
Plaintext
Thanks to the following for their help and contributions:
|
|
|
|
Ozgur Akgun
|
|
Nicola Botta
|
|
Edwin Brady
|
|
Jason Dagit
|
|
Cezar Ionescu
|
|
Irene Knapp
|
|
Mathnerd314
|
|
Mekeor Melire
|
|
Melissa Mozifian
|
|
Dominic Mulligan
|
|
raichoo
|
|
Tom Prince
|
|
Seo Sanghyeon
|
|
Benjamin Saunders
|
|
startling
|
|
Chetan T
|
|
Dirk Ullrich
|
|
Leif Warner
|
|
Daniel Waterworth
|
|
Jonas Westerlund
|
|
|