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

For pull requests big and small:

For answering questions on the Agda mailing list:

  • Guillaume Allais
  • 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

For support:

  • EPSRC Programme Grant EP/K034413/1