From 1ad5ec14a5d9cde71122bb261e2e033deead6881 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Mon, 1 Nov 2010 15:24:30 -0400 Subject: [PATCH] Added assignmemnt 6 --- assignment6.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.11.0