|
@@ -21,7 +21,7 @@ return : a -> |<a>|
|
|
|
|
|
|
func : (a -> b) -> (a |->| b)
|
|
|
|
|
|
-apply : (a |->| b) * a -> |<b>|
|
|
|
+app : (a |->| b) * a -> |<b>|
|
|
|
|
|
|
dynamic : (a -> |<b>|) -> (a |->| b)
|
|
|
|
|
@@ -33,7 +33,7 @@ id : a |->| a
|
|
|
|
|
|
|
|
|
return(x) = task(fun() -> x end)
|
|
|
-apply(func(f), x) = task(f, x)
|
|
|
+app(func(f), x) = task(f, x)
|
|
|
dynamic(fun(X) -> return(f(x)) end) = func(f)
|
|
|
ignore(x) = dynamic(fun(_) -> x)
|
|
|
|