src/book.tex: add contributors

yurrriq · yurrriq · commit 6c9f5f24731e · 2017-07-06T02:39:32.000-05:00
diff --git a/src/book.tex b/src/book.tex
@@ -15,9 +15,8 @@
   with Loris D'Antoni, Andrew W. Appel, Arthur Chargueraud, Anthony Cowley,
   Jeffrey Foster, Dmitri Garbuzov, Michael Hicks, Ranjit Jhala, Greg Morrisett,
   Jennifer Paykin, Mukund Raghothaman, Chung-chieh Shan, Leonid Spesivtsev,
-  Andrew Tolmach, Stephanie Weirich and Steve Zdancewic.
-
-  Idris translation by Eric Bailey
+  Andrew Tolmach, Stephanie Weirich and Steve Zdancewic.\newline\newline
+  Idris translation by Eric Bailey, Alex Gryzlov and Erlend Hamberg.
 toc: true
 documentclass: amsbook
 classoption: twoside
