Ajout : Control.Monad.Classes.{StateFix,StateInstance}.

[comptalang.git] / calculus / Calculus / Lambda / Omega / Explicit / lib / Function.cloe

id (X:*) (x:X) : X = x

const (X:*) (Y:*) (x:X) (y:Y) : X = x

o
 (X:*) (Y:*) (Z:*)
 (f:Y -> Z)
 (g:X -> Y)
 : X -> Z
 = λ(x:X) -> f (g x)