Idris2/CONTRIBUTORS
2024-09-24 10:26:30 -05:00

89 lines
1.3 KiB
Plaintext

Thanks to the following for their help and contributions to Idris 2:
Aaron Lebahn
Abdelhakim Qbaich
Adam Brouwers-Harries
Alain Zscheile
Aleksei Volkov
Alex Asafov
Alex Gryzlov
Alex Silva
Alissa Tung
Andor Penzes
Andre Kuhlenschmidt
André Videla
Andy Lok
Anthony Lodi
Arnaud Bailly
Boyd Stephen Smith Jr.
Brian Wignall
Bryn Keller
Christian Rasmussen
Claudio Etterli
Cyrill Brunner
Danylo Lapirov
David Smith
Denis Buzdalov
Edwin Brady
Fabián Heredia Montiel
Felix Springer
George Pollard
GhiOm
Giuseppe Lomurno
Guillaume Allais
Hiroki Hattori
Ilya Rezvov
Jacob Walters
Jan de Muijnck-Hughes
Jeetu
Jens Petersen
Joel Berkeley
Joey Eremondi
Johann Rudloff
Kamil Shakirov
Kevin Boulain
LuoChen
MarcelineVQ
Marc Petit-Huguenin
Marshall Bowers
Mathew Polzin
Matthew Mosior
Matthew Wilson
Matus Tejiscak
Michael Messer
Michael Morgan
Milan Kral
Molly Miller
Mounir Boudia
Nick Drozd
Nicolas Biri
Niklas Larsson
Ohad Kammar
Peter Hajdu
rhiannon morris
Ricardo Prado Cunha
Robert Walter
Rodrigo Oliveira
Rohit Grover
Rui Barreiro
Ruslan Feizerahmanov
Sam Phillips
Simon Chatterjee
Stefan Höck
Steve Dunham
tensorknower69
then0rTh
Theo Butler
Thomas Dziedzic
Thomas E. Hansen
Timmy Jose
Tim Süberkrüb
Tom Harley
troiganto
Wen Kokke
Wind Wong
Zoe Stafford
Apologies to anyone we've missed - let us know and we'll correct it (or just
send a PR with the correction).