Thanks to the following for their help and contributions to Idris 2: Aaron Lebahn Abdelhakim Qbaich Alain Zscheile Alex Gryzlov Alex Silva Alissa Tung Andre Kuhlenschmidt André Videla Andy Lok Anthony Lodi Arnaud Bailly Brian Wignall Bryn Keller Christian Rasmussen 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 Jan de Muijnck-Hughes Jeetu Joey Eremondi Johann Rudloff Kamil Shakirov Kevin Boulain LuoChen Marc Petit-Huguenin MarcelineVQ Marshall Bowers Mathew Polzin Matthew Wilson Matus Tejiscak Michael Messer Michael Morgan Milan Kral Molly Miller Mounir Boudia Nick Drozd Nicolas Biri Niklas Larsson Ohad Kammar Peter Hajdu 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 Tim Süberkrüb Timmy Jose Tom Harley 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).