X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_3.mdwn;h=d3e06c530d82e60857081f56ee93c951bb39e1a9;hp=8382a9bb9c46ce590aa7fd56b4e85843f5f0128d;hb=8fb69b5fc5ded83a0b3adfef69c01f259f8432ab;hpb=5ffb50f1092baa2b76c7140b8c388d241240fa38 diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn index 8382a9bb..d3e06c53 100644 --- a/hints/assignment_7_hint_3.mdwn +++ b/hints/assignment_7_hint_3.mdwn @@ -5,7 +5,7 @@ A set is just another monadic layer. We've already talked about list monads, and we can for these purposes just use list monads to represent set monads. Instead of sets of possibilities, we'll be working with sets of `dpm`s, that is, sets of discourse possibility monads, or computations on discourse possibilities. -As I said, for simplicity, we'll represent sets using lists: + As I said, for simplicity, we'll represent sets using lists: type 'a set = 'a list;; let empty_set : 'a set = [];;