---
title     : "Acknowledgements"
permalink : /Acknowledgements/
epub-type : acknowledgments
---

Thank you to:

::: {.list-of-contributors}

  * 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:

::: {.list-of-contributors}

  * Andreas Abel
  * Catarina Coquand
  * Thierry Coquand
  * David Darais
  * Per Martin-Löf
  * Lena Magnusson
  * Conor McBride
  * James McKinna
  * Ulf Norell

:::

$if(contributor)$
For pull requests big and small, and for answering questions on the Agda mailing list:

::: {.list-of-contributors}

$for(contributor)$
  * [$contributor.name$](https://github.com/$contributor.github$)
$endfor$
  * [Your name goes here]

:::

$endif$

For contributions to the answers repository:

::: {.list-of-contributors}

  * William Cook
  * David Banas

:::

For support:

::: {.list-of-contributors}

  * EPSRC Programme Grant EP/K034413/1
  * NSF Grant No. 1814460
  * Foundation Sciences Mathematiques de Paris (FSMP) Distinguised Professor Fellowship

:::