From 946ac055135e409e9404954b8cf7ad7076207739 Mon Sep 17 00:00:00 2001 From: wadler Date: Wed, 20 Jan 2021 11:41:19 +0000 Subject: [PATCH] Added mention of answer repository to preface and acknowledgements --- src/plfa/backmatter/acknowledgements.md | 10 ++++++++++ src/plfa/frontmatter/preface.md | 2 ++ 2 files changed, 12 insertions(+) diff --git a/src/plfa/backmatter/acknowledgements.md b/src/plfa/backmatter/acknowledgements.md index e019ba61..348790bb 100644 --- a/src/plfa/backmatter/acknowledgements.md +++ b/src/plfa/backmatter/acknowledgements.md @@ -38,6 +38,16 @@ $endfor$ $endif$ +For contributions to the answers repository: +
+ +
+There is a private repository of answers to selected questions on +github. Please contact Philip Wadler if you would like to access it. + For support: - EPSRC Programme Grant EP/K034413/1 diff --git a/src/plfa/frontmatter/preface.md b/src/plfa/frontmatter/preface.md index b63e6cca..2a4ff012 100644 --- a/src/plfa/frontmatter/preface.md +++ b/src/plfa/frontmatter/preface.md @@ -114,3 +114,5 @@ You may need to import library functions required for the solution. Please do not post answers to the exercises in a public place. +There is a private repository of answers to selected questions on +github. Please contact Philip Wadler if you would like to access it.