lists-monad tweaks
authorJim Pryor <profjim@jimpryor.net>
Wed, 1 Dec 2010 06:39:39 +0000 (01:39 -0500)
committerJim Pryor <profjim@jimpryor.net>
Wed, 1 Dec 2010 06:39:39 +0000 (01:39 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
list_monad_as_continuation_monad.mdwn

index 8d442ae..6354c40 100644 (file)
@@ -76,7 +76,7 @@ The **State Monad** is similar.  Once we've decided to use the following type co
 
 Then our unit is naturally:
 
 
 Then our unit is naturally:
 
-       let s_unit (a : 'a) : ('a state) = fun (s : store) -> (a, s)
+       let s_unit (a : 'a) : 'a state = fun (s : store) -> (a, s)
 
 And we can reason our way to the bind function in a way similar to the reasoning given above. First, we need to apply `f` to the contents of the `u` box:
 
 
 And we can reason our way to the bind function in a way similar to the reasoning given above. First, we need to apply `f` to the contents of the `u` box: