Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- foo = do
- a <-get
- put(a+1)
- foo =
- get >>= a->
- put (a+1)
- get= state $st->(st,st)
- put a = state $_->((),a+1)
- foo = state $st->(st,st)>>=state $_->((),a+1)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement