From: Chris Barker Date: Mon, 1 Nov 2010 19:24:30 +0000 (-0400) Subject: Added assignmemnt 6 X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=1ad5ec14a5d9cde71122bb261e2e033deead6881 Added assignmemnt 6 --- diff --git a/assignment6.mdwn b/assignment6.mdwn index 919ff24f..b21050b4 100644 --- a/assignment6.mdwn +++ b/assignment6.mdwn @@ -7,7 +7,7 @@ the calculuation. That is, the desired behavior should be like this: # lift ( + ) (lift ( / ) (unit 20) (unit 2)) (lift ( * ) (unit 2) (unit 3)) 0;; - : int * int = (16, 3) -Here, `lift` is the function that uses `bind` to prepare an ordinary + Here, `lift` is the function that uses `bind` to prepare an ordinary arithmetic operator (such as addition `( + )`, division `( / )`, or multiplication `( * )`) to recieve objects from the counting monad as arguments. The response of the interpreter says two things: that