Acknowledgements
Thank you to:
- The inventors of Agda, for a new playground.
- The authors of Software Foundations, for inspiration.
- Andreas Abel
- Catarina Coquand
- Thierry Coquand
- David Darais
- Per Martin-Löf
- Lena Magnusson
- Conor McBride
- James McKinna
- Ulf Norell
- Marko Dimjašević
- Zbigniew Stanasiuk
- Reza Gharibi
- Yasu Watanabe
- Michael Reed
- Chad Nester
- Fangyi Zhou
- Mo Mirza
- Juhana Laurinharju
- Qais Patankar
- Orestis Melkonian
- Kenichi Asai
- phi16
- Pedro Minicz
- Jonathan Prieto
- Alexandru Brisan
- Sebastian Miele
- bc²
- Murilo Giacometti Rocha
- Michel Steuwer
- Matthew Healy
- Lorenzo Martinico
- caryoscelus
- Zach Brown
- Syed Turab Ali Jafri
- Spencer Whitt
- Peter Thiemann
- Alexandre Moreno
- Ingo Blechschmidt
- G. Allais
- Matthias Gabriel
- Isaac Elliott
- Liang-Ting Chen
- Mike He
- Zack Grannan
- Nicolas Wu
- Slava
- Vikraman Choudhury
- Stephan Boyer
- Amr Sabry
- Rodrigo Bernardo
- purchan
- Nathaniel Carroll
- Phil de Joux
- N. Raghavendra
- Léo Gillot-Lamure
- Nils Anders Danielsson
- Miëtek Bak
- Merlin Göttlinger
- Liam O’Connor
- James Wood
- Kenneth MacKenzie
- Stefan Kranich
- koo5
- Kartik Singhal
- John Maraist
- Hugo Gualandi
- Gan Shen
- Georgi Lyubenov
- Gergő Érdi
- Roman Kireev
- David Janin
- Deniz Alp
- April Gonçalves
- citrusmunch
- Chike Abuah
- Ben Darwin
- Anish Tondwalkar
- Adam Sandberg Eriksson
- Ulf Norell
- Torsten Grust
- Oling Cat
- Gagan Devagiri
- Dee Yeum
- András Kovács
- [Your name goes here]
- William Cook
- David Banas
There is a private repository of answers to selected questions on github. Please contact Philip Wadler if you would like to access it.
For support:
- EPSRC Programme Grant EP/K034413/1
- NSF Grant No. 1814460
- Foundation Sciences Mathematiques de Paris (FSMP) Distinguised Professor Fellowship