Acknowledgements

Wen Kokke, Jeremy Siek, Philip Wadler

Prev • Index • Next

Thank you to:

• The inventors of Agda, for a new playground.

• The authors of Software Foundations, for inspiration.

A special thank you, for inventing ideas on which this book is based, and for hand-holding:

• Conor McBride

• James McKinna

• Ulf Norell

• Andreas Abel

For a note showing how much more compact it is to avoid raw terms:

• David Darais

• Marko Dimjašević

• Zbigniew Stanasiuk

• Reza Gharibi

• Yasu Watanabe

• Chad Nester

• Juhana Laurinharju

• Mo Mirza

• Fangyi Zhou

• Kenichi Asai

• Orestis Melkonian

• phi16

• Jonathan Prieto

• Alexandru Brisan

• Pedro Minicz

• Qais Patankar

• Michel Steuwer

• caryoscelus

• Lorenzo Martinico

• Sebastian Miele

• bruno cuconato

• Murilo Giacometti Rocha

• G. Allais

• Spencer Whitt

• Isaac Elliott

• Ingo Blechschmidt

• Mike He

• Syed Turab Ali Jafri

• Torsten Grust

• Nicolas Wu

• Slava

• Kartik Singhal

• Phil de Joux

• Stephan Boyer

• Zack Grannan

• Léo Gillot-Lamure

• Hugo Gualandi

• Kenneth MacKenzie

• Chike Abuah

• Alexandre Moreno

• Merlin Göttlinger

• James Wood

• citrusmunch

• Stefan Kranich

• Rodrigo Bernardo

• Deniz Alp

• Nathaniel Carroll

• cyberglot

• Vikraman Choudhury

• Ben Darwin

• koo5

• Anish Tondwalkar

• Nils Anders Danielsson

• Miëtek Bak

• Gergő Érdi

• Adam Sandberg Eriksson

• David Janin

• András Kovács

• Ulf Norell

• Liam O'Connor

• N. Raghavendra

• Roman Kireev

• Amr Sabry

• [Your name goes here]

For support:

• EPSRC Programme Grant EP/K034413/1

• NSF Grant No. 1814460

• Foundation Sciences Mathematiques de Paris (FSMP) Distinguised Professor Fellowship

Prev • Index • Next

This work is licensed under a Creative Commons Attribution 4.0 International License. Some changes were made to the original version in order to adapt its contents to nextjournal.