From 62c6e88b146383554ffe50e84369c592d3dfd0a6 Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Sun, 4 Mar 2018 17:43:16 -0300
Subject: [PATCH] fix to Preface, Acknowledgements

---
 src/Acknowledgements.lagda | 38 ++++++++++++++++++++++++++++++++++++++
 src/Preface.lagda          | 15 +++++++++------
 2 files changed, 47 insertions(+), 6 deletions(-)
 create mode 100644 src/Acknowledgements.lagda

diff --git a/src/Acknowledgements.lagda b/src/Acknowledgements.lagda
new file mode 100644
index 00000000..dac93614
--- /dev/null
+++ b/src/Acknowledgements.lagda
@@ -0,0 +1,38 @@
+---
+title     : "Acknowledgements"
+layout    : page
+permalink : /Acknowledgements
+---
+
+Thank you to the following.
+
+To the inventors of Agda, for giving us a new playground.
+
+To the authors of Software Foundations, for inspiration.
+
+To Conor McBride and James McKinna, for cool ideas and handholding.
+
+To Andreas Abel and Ulf Norell, ditto.
+
+To David Darais, for showing me how much more compact it is to avoid raw terms.
+
+For pull requests.
+* Jonathan Prieto-Cubides
+* Vikraman Choudhury
+* Anish Tondwalkar 
+
+For answering questions on the Agda mailing list.
+* Guillaume Allais <guillaume.allais@ens-lyon.org>
+* Sabry, Amr A. <sabry@indiana.edu>
+* Nils Anders Danielsson <nad@cse.gu.se>
+* Miëtek Bak <mietek@bak.io>
+* Gergő Érdi <gergo@erdi.hu>
+* David Janin <david.janin@labri.fr>
+* András Kovács <kovacsahun@hotmail.com>
+* Ulf Norell <ulf.norell@gmail.com>
+* Liam O'Connor <liamoc@cse.unsw.edu.au>
+* N. Raghavendra <nyraghu27132@gmail.com>
+* Roman <effectfully@gmail.com>
+
+For comments on the text.
+* [your name goes here]
diff --git a/src/Preface.lagda b/src/Preface.lagda
index caf34752..07e73383 100644
--- a/src/Preface.lagda
+++ b/src/Preface.lagda
@@ -7,6 +7,15 @@ permalink : /Preface
 This book is an introduction to programming language theory, written
 in Agda.
 
+Please send suggestions to improve the text to [me][phil].  The text
+is currrently being drafted. The first draft of the first half will be
+completed before the end of March 2018. When that is done it will be
+announced here, and that would be an excellent time to comment on the
+first half.
+
+
+## Personal remarks
+
 Since 2013, I teach a course on Types and Semantics for Programming
 Languages to fourth-year undergraduates and masters students at the
 University of Edinburgh.  That course had been based on the textbook
@@ -58,12 +67,6 @@ They guided me as a newbie to Agda and provided an infrastructure that
 is easy to use and produces pages that are a pleasure to view.  Most
 of the text was written during a sabbatical in the first half of 2018.
 
-Please send suggestions to improve the text to [me][phil].  The text
-is currrently being drafted. The first draft of the first half will be
-completed before the end of March 2018. When that is done it will be
-announced here, and that would be an excellent time to comment on the
-first half.
-
 -- Philip Wadler, Rio de Janeiro, January--June 2018
 
 [sf]: https://softwarefoundations.cis.upenn.edu/