Thanks to the following for their help and contributions to Idris 2: Abdelhakim QbaichAlex Gryzlov Alex Silva Andre Kuhlenschmidt André Videla Arnaud Bailly Brian Wignall Christian Rasmussen David Smith Edwin Brady Fabián Heredia MontielGeorge PollardGhiOm Guillaume AllaisIlya Rezvov Jan de Muijnck-Hughes JeetuJohann RudloffKamil Shakirov Bryn KellerKevin Boulain lodi LuoChen Marc Petit-HugueninMarcelineVQMarshall Bowers Matthew Wilson Matus Tejiscak Michael Morgan Milan Kral Molly Miller Mounir Boudia Nicolas BiriNiklas Larsson Ohad Kammar Peter Hajdu Rohit GroverRui BarreiroSimon Chatterjee then0rThTheo Butler Tim Süberkrüb Timmy Jose