mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-28 22:22:10 +03:00
46 lines
693 B
Plaintext
46 lines
693 B
Plaintext
|
Thanks to the following for their help and contributions to Idris 2:
|
||
|
|
|
||
|
|
Abdelhakim Qbaich
|
||
|
|
Alex Gryzlov
|
||
|
|
Alex Silva
|
||
|
|
Andre Kuhlenschmidt
|
||
|
|
André Videla
|
||
|
|
Arnaud Bailly
|
||
|
|
Brian Wignall
|
||
|
|
Christian Rasmussen
|
||
|
|
David Smith
|
||
|
|
Edwin Brady
|
||
|
|
Fabián Heredia Montiel
|
||
|
|
George Pollard
|
||
|
|
GhiOm
|
||
|
|
Guillaume Allais
|
||
|
|
Ilya Rezvov
|
||
|
|
Jan de Muijnck-Hughes
|
||
|
|
Jeetu
|
||
|
|
Johann Rudloff
|
||
|
|
Kamil Shakirov
|
||
|
|
Bryn Keller
|
||
|
|
Kevin Boulain
|
||
|
|
lodi
|
||
|
|
LuoChen
|
||
|
|
Marc Petit-Huguenin
|
||
|
|
MarcelineVQ
|
||
|
|
Marshall Bowers
|
||
|
|
Matthew Wilson
|
||
|
|
Matus Tejiscak
|
||
|
|
Michael Morgan
|
||
|
|
Milan Kral
|
||
|
|
Molly Miller
|
||
|
|
Mounir Boudia
|
||
|
|
Nicolas Biri
|
||
|
|
Niklas Larsson
|
||
|
|
Ohad Kammar
|
||
|
|
Peter Hajdu
|
||
|
|
Rohit Grover
|
||
|
|
Rui Barreiro
|
||
|
|
Simon Chatterjee
|
||
|
|
then0rTh
|
||
|
|
Theo Butler
|
||
|
|
Tim Süberkrüb
|
||
|
|
Timmy Jose
|