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

Fix layout in acknowledgements.

Browse source
This commit is contained in:
Wen Kokke 2018-09-13 11:46:26 +01:00
parent f0fed89bcb
commit 8d8fd11269
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/plfa/Acknowledgements.lagda
View file

@ -8,6 +8,7 @@ Thank you to:
* The inventors of Agda, for a new playground. * The inventors of Agda, for a new playground.
* The authors of Software Foundations, for inspiration. * The authors of Software Foundations, for inspiration.
A special thank you, for inventing ideas on which A special thank you, for inventing ideas on which
this book is based, and for hand-holding: this book is based, and for hand-holding:
* Conor McBride * Conor McBride
@ -15,20 +16,22 @@ this book is based, and for hand-holding:
* Ulf Norell * Ulf Norell
* Andreas Abel * Andreas Abel
<span class="force-end-of-list"></span>
{%- if site.contributors -%} {%- if site.contributors -%}
For contributions: <p>For pull requests big and small:</p>
<ul> <ul>
{%- for contributor in site.contributors -%} {%- for contributor in site.contributors -%}
<li><a href="https://github.com/{{ contributor.github_username }}">{{ contributor.name }}</a></li> <li><a href="https://github.com/{{ contributor.github_username }}">{{ contributor.name }}</a></li>
{%- endfor -%} {%- endfor -%}
</ul> </ul>
{%- else -%} {%- else -%}
<!-- -->
{%- endif -%} {%- endif -%}
For a note showing how much more compact it is to avoid raw terms: For a note showing how much more compact it is to avoid raw terms:
* David Darais * David Darais
For answering questions on the Agda mailing list: For answering questions on the Agda mailing list:
* Guillaume Allais * Guillaume Allais
* Nils Anders Danielsson * Nils Anders Danielsson