diff --git a/src/plfa/backmatter/acknowledgements.md b/src/plfa/backmatter/acknowledgements.md index a0df2d7a..e019ba61 100644 --- a/src/plfa/backmatter/acknowledgements.md +++ b/src/plfa/backmatter/acknowledgements.md @@ -13,15 +13,17 @@ Thank you to: A special thank you, for inventing ideas on which this book is based, and for hand-holding:
- - Andreas Abel - - Catarina Coquand - - Thierry Coquand - - David Darais - - Per Martin-Löf - - Lena Magnusson - - Conor McBride - - James McKinna - - Ulf Norell +
$if(contributors)$