X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_5.mdwn;h=779fb2edc75b6b7e9085a9c6df5c22156c486ed6;hp=acbc901579bd5d9c5aa35aea3a5a5c0a6c4cb4d1;hb=0ffedd938c14e7d37e912259eaf632a4fec5ec42;hpb=54f07a87abd25524b0e1599cc5208c0c88b7a8c1 diff --git a/hints/assignment_7_hint_5.mdwn b/hints/assignment_7_hint_5.mdwn index acbc9015..779fb2ed 100644 --- a/hints/assignment_7_hint_5.mdwn +++ b/hints/assignment_7_hint_5.mdwn @@ -1,3 +1,15 @@ + + * How shall we handle \[[∃x]]? As we said, GS&V really tell us how to interpret \[[∃xPx]], but for our purposes, what they say about this can be broken naturally into two pieces, such that we represent the update of our starting set `u` with \[[∃xPx]] as:
u >>= \[[∃x]] >>= \[[Px]]