From 31305266a416d5b0c04ff44a63cb480c5e5bf881 Mon Sep 17 00:00:00 2001 From: Philip Wadler Date: Fri, 25 Oct 2019 18:51:39 +0100 Subject: [PATCH] Assignment 4 --- Notes.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/Notes.md b/Notes.md index cc5d51f0..0b6dbbc4 100644 --- a/Notes.md +++ b/Notes.md @@ -4,6 +4,16 @@ title: Notes permalink: /Notes/ --- +## To Do + +Changes I would like to make to the book: +- Relations, exercise `o+o≡e` --> (recommended) +- Relations, exercise `≤-iff-<` --> `≤→<`, `<→≤` +- Relations, exercise `Bin-predicates` --> `Bin-predicate` + change canonical form of zero to be empty string, `<>`. + Similar change to subsequent exercise. + + ## Downloading older versions