Thanks to the following for their help and contributions to Idris 2: Alex Gryzlov Alex Silva Andre Kuhlenschmidt André Videla Arnaud Bailly Brian Wignall Christian Rasmussen David Smith Edwin Brady GhiOm Guillaume AllaisIlya Rezvov Jan de Muijnck-Hughes Kamil Shakirov Bryn KellerKevin Boulain lodi LuoChen Marc Petit-HugueninMarshall Bowers Matthew Wilson Matus Tejiscak Michael Morgan Milan Kral Molly Miller Mounir Boudia Niklas Larsson Ohad Kammar Peter Hajdu Simon Chatterjee Theo Butler Tim Süberkrüb Timmy Jose