mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-08-16 12:10:39 +03:00
230 lines
3.3 KiB
Plaintext
230 lines
3.3 KiB
Plaintext
Thanks to the following for their help and contributions:
|
|
|
|
a3gis
|
|
Aaron Craelius
|
|
Adam Sandberg Eriksson
|
|
Adam Schønemann
|
|
Adolfo Ochagavía
|
|
Ahmad Salim Al-Sibahi
|
|
Aistis Raulinaitis
|
|
Alex Feldman-Crough
|
|
Alex S. Queiroz e Silva
|
|
Alexander Berntsen
|
|
Alexander Shabalin
|
|
Alyssa Carter
|
|
Andreas Bogk
|
|
Andreas Reuleaux
|
|
Andrei Dziahel
|
|
Andrew Cann
|
|
Andrew Stewart Gibson
|
|
Andy Morris
|
|
Anthony Cantor
|
|
Anthony---faineance
|
|
Apostolis Xekoukoulotakis
|
|
Athan Clark
|
|
Bartosz Przygoda
|
|
Ben Gamari
|
|
Ben Sherman
|
|
ben-schulz
|
|
Benjamin Hodgson
|
|
Benjamin Saunders
|
|
Björn Aili
|
|
bmastenbrook
|
|
Brent Yorgey
|
|
Brian Koropoff
|
|
Brian McKenna
|
|
Bryn Keller
|
|
Caleb Case
|
|
Calvin Beck
|
|
Carsten König
|
|
Carter Charbonneau
|
|
Casper M. H. Holmgreen
|
|
cchantep
|
|
Cezar Ionescu
|
|
Chao-Hong Chen
|
|
Chetan Taralekar
|
|
Chris Allen
|
|
Chris Gibbs
|
|
Christopher Schwaab
|
|
Cliff Harvey
|
|
Cliff L. Biffle
|
|
Colin Adams
|
|
comco
|
|
Craig McLaughlin
|
|
cswords
|
|
Daniel Waterworth
|
|
Daniël Heres
|
|
Darin Morrison
|
|
David Feuer
|
|
David Kraeutmann
|
|
David Raymond Christiansen
|
|
defanor
|
|
Dennis Griffith
|
|
Dirk Ullrich
|
|
Dmitry Bushev
|
|
Dmitry Tsygankov
|
|
Dominic Mulligan
|
|
Dominik Peteler
|
|
Echo Nolan
|
|
Eduard Nicodei
|
|
Edward Amsden
|
|
Edward O'Callaghan
|
|
Edwin Brady
|
|
Eric Casteleijn
|
|
Eric Mertens
|
|
Eric Walkingshaw
|
|
Eric Weinstein
|
|
Erkin Batu Altunbaş
|
|
Ertugrul Söylemez
|
|
EvanR
|
|
Fabian Thorand
|
|
fiendfan1
|
|
Franklin Chen
|
|
Frederic Koehler
|
|
Friedrich von Never
|
|
Gabe McArthur
|
|
Gabor Greif
|
|
Gabriel Garcia
|
|
George Leontiev
|
|
Gleb Alexeyev
|
|
Google
|
|
Greg Anderson
|
|
Greg Pfeil
|
|
Guglielmo Fachini
|
|
Hannes Mehnert
|
|
Heath Johns
|
|
Heather
|
|
Hector A. Escobedo IV
|
|
identical snowflake
|
|
Ignas Vyšniauskas
|
|
Ilan Godik
|
|
Imuli
|
|
Irene Knapp
|
|
Jack Henahan
|
|
Jacob Mitchell
|
|
Jakob Brünker
|
|
Jan Bessai
|
|
Jan de Muijnck-Hughes
|
|
Jan Doms
|
|
Jan Stolarek
|
|
Jason Dagit
|
|
Jason Felice
|
|
Jason Gross
|
|
Jean-Remi Desjardins
|
|
Jeff Hemphill
|
|
Jefferson Carpenter
|
|
Jens Petersen
|
|
Jeremy W. Sherman
|
|
jhegedus42
|
|
joe9
|
|
Johannes Griebler
|
|
John Connor
|
|
John Dobronszki
|
|
John Wiegley
|
|
Jon Atack
|
|
Jonas De Vuyst
|
|
Jonas Westerlund
|
|
Jonathan Sterling
|
|
Joomy Korkut
|
|
Jorge Acereda
|
|
Joseph Huang
|
|
Josh Vera
|
|
JP Smith
|
|
Juliusz Chroboczek
|
|
Jurriën Stutterheim
|
|
Jürgen Peters
|
|
Karlos Kaeeikaas
|
|
Kester Tong
|
|
lambdadomain
|
|
Langston Barrett
|
|
Leif Warner
|
|
Leon Schoorl
|
|
Luke Palmer
|
|
Mark Farrell
|
|
Markus Klink
|
|
Markus Pfeiffer
|
|
Martin Baker
|
|
Mathnerd314
|
|
Mattias Lundell
|
|
Matvey B. Aksenov
|
|
Matúš Tejiščák
|
|
Maxim Ivanov
|
|
Mekeor Melire
|
|
Melissa Mozifian
|
|
Melvar Chen
|
|
Michael A. Smith
|
|
Michael Bernstein
|
|
Michael Gilliland
|
|
Michael Hensler
|
|
Michael Maloney
|
|
Michael McGirr
|
|
Michael Morgan
|
|
Michael Thompson
|
|
Michael Weiss
|
|
Miikka Koskinen
|
|
Mitchell Rosen
|
|
Miëtek Bak
|
|
Mort Yao
|
|
Nathan Dinsmore
|
|
Nicola Botta
|
|
Niklas Larsson
|
|
Norbert Melzer
|
|
Oskar Wickström
|
|
Ozgur Akgun
|
|
Patrick Hilhorst
|
|
Patrik Jansson
|
|
Paul Koerbitz
|
|
Per Fredelius
|
|
Peter Minten
|
|
Philip Rasmussen
|
|
PoroCYon
|
|
raichoo
|
|
Reynir Björnsson
|
|
Ricky Elrod
|
|
Robert Clipsham
|
|
Robert Edström
|
|
Ross Meikleham
|
|
Rui Barreiro
|
|
Ryan Scott
|
|
Sam Elliott
|
|
Sam T
|
|
Saurabh Rawat
|
|
Sean Hunt
|
|
Sebastian de Bellefon
|
|
Sebastian Dröge
|
|
Seo Sanghyeon
|
|
Sergei Trofimovich
|
|
Shane Pearman
|
|
Shea Levy
|
|
Simon Fowler
|
|
startling
|
|
Stefan Bleibinhaus
|
|
stepcut
|
|
Stephen Drodge
|
|
Steven Shaw
|
|
Stuart Gale
|
|
suhorng
|
|
Sune Alkærsig
|
|
Sven Koschnicke
|
|
Taran Lynn
|
|
tdidriksen
|
|
Tenor Biel
|
|
Thomas Cooper
|
|
Thomas Scholtes
|
|
Tim Dysinger
|
|
Tim McGilchrist
|
|
Timo Petteri Sinnemäki
|
|
Tom Prince
|
|
TorosFanny
|
|
Trevor Elliott
|
|
uwap
|
|
Vitaly Bragilevsky
|
|
Vyacheslav Shebanov
|
|
xged
|
|
XIE Yuheng
|
|
Yacine Hmito
|
|
Zack Grannan
|
|
Zheng Jihui
|
|
zjhmale
|
|
Сухарик
|