# Contributors

Over the years many people have contributed to the development of idris-mode.
We thanks the following for their contributions:

Ahmad Salim Al-Sibahi
Alex Segura
Alyssa Carter
Andreas Roehler
Arnaud Bailly
Bartosz Przygoda
Brendan Zabarauskas
Daniel Kimbel
David Christiansen
David Raymond Christiansen
David Thrane Christiansen
Eldar Gabdullin
Guillaume ALLAIS
Hannes Mehnert
Hardy Jones
Hugh FD Jackson
Jan de Muijnck-Hughes
Jefferson Carpenter
Jeremy Yallop
John Soo
Josh
Jozsef Hegedus
Juergen Hoetzel
Mario Rodas
Marek L.
Mark Laws
Matti Hanninen
Micah Werbitt
Michael Morgan
Mort Yao
Nicolas Dudebout
Ohad Kammar
Paul Dempster
Peter Harpending
Samuel Memmel
Simon Pelchat
Steve Purcell
Steven Shaw
Syohei YOSHIDA
Taru Karttunen
Tassilo Horn
Tim Humphries
Yasu Watanabe
defanor
startling
κeen
identity
