package prbnmcn-basic-structures

You can search for identifiers within the package.

in-package search v0.2.0

Module `Lang.Lambda`Source

Sourcetype 'a m = 'a

Sourceval lam : ('a m -> 'b m) -> ('a -> 'b) m

Lambda-abstraction.

Sourceval app : ('a -> 'b) m -> 'a m -> 'b m

Function application.