Differences

This shows you the differences between two versions of the page.

monads [2018/04/25 23:39]
mvc
monads [2018/04/25 23:39] (current)
mvc
Line 130: Line 130:
                (go-on                 (go-on
                  ([a (trav (car tree))]                   ([a (trav (car tree))]
-                  [d <- (trav (cdr tree))])+                  [d (trav (cdr tree))])
                  (inj (cons a d)))]                   (inj (cons a d)))]
              [else (f tree)]))))               [else (f tree)]))))
 

monads.txt · Last modified: 2018/04/25 23:39 by mvc