X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_2.mdwn;h=29f6f05b182290746cd71fb037953fd54558b7a2;hp=d1736b32f26a9b5b2e51415859ab874ea0e4a460;hb=ed113b80c941bdd33e09c6c5d5f8f46958542d1f;hpb=ebed7bf68237f042849d0ebfeed8095a5f7d14a4

diff --git a/hints/assignment_7_hint_2.mdwn b/hints/assignment_7_hint_2.mdwn
index d1736b32..29f6f05b 100644
--- a/hints/assignment_7_hint_2.mdwn
+++ b/hints/assignment_7_hint_2.mdwn
@@ -20,9 +20,9 @@
 
 	Since `dpm`s are to be a monad, we have to define a unit and a bind. These are just modeled on the unit and bind for the State monad:
 
-		let unit_dpm (value : 'a) : 'a dpm = fun (r, h) -> (value, r, h);;
+		let dpm_unit (value : 'a) : 'a dpm = fun (r, h) -> (value, r, h);;
 
-		let bind_dpm (u : 'a dpm) (f : 'a -> 'b dpm) : 'b dpm =
+		let dpm_bind (u : 'a dpm) (f : 'a -> 'b dpm) : 'b dpm =
 			fun (r, h) ->
 				let (a, r', h') = u (r, h)
 				in let u' = f a