From 0a99b734baa494248f003b7e30aacedd89e34949 Mon Sep 17 00:00:00 2001 From: wadler Date: Mon, 11 May 2020 12:17:04 -0300 Subject: [PATCH] added line about imports for exercises to preface --- src/plfa/preface.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/plfa/preface.md b/src/plfa/preface.md index 7739317e..cb694ce0 100644 --- a/src/plfa/preface.md +++ b/src/plfa/preface.md @@ -107,4 +107,8 @@ required to do in the class taught at Edinburgh from this textbook. Exercises labelled "(stretch)" are there to provide an extra challenge. Few students do all of these, but most attempt at least a few. -Exercises labelled "(practice)" are included for those who want extra practice. +Exercises labelled "(practice)" are included for those who want extra +practice. + +You may need to import library functions required for the solution. +