michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Changed acknowledgements.

Browse source
This commit is contained in:
Wen Kokke 2020-06-19 13:40:29 +01:00
parent 1d4913d89f
commit f1296fbd3b
1 changed files with 11 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
src/plfa/acknowledgements.md
View file

@ -13,10 +13,16 @@ Thank you to:
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
<ul class="list-of-contributors">
<li>Andreas Abel</li>
<li>Catarina Coquand</li>
<li>Thierry Coquand</li>
<li>Per Martin-Löf</li>
<li>Lena Magnusson</li>
<li>Conor McBride</li>
<li>James McKinna</li>
<li>Ulf Norell</li>
</ul>
For a note showing how much more compact it is to avoid raw terms:
@ -50,6 +56,6 @@ For pull requests big and small, and for answering questions on the Agda mailing
For support:
* EPSRC Programme Grant EP/K034413/1
* NSF Grant No. 1814460
* NSF Grant No. 1814460
* Foundation Sciences Mathematiques de Paris (FSMP)
Distinguised Professor Fellowship