HoldMyType- main :: [Response]

searchable

no more /usr/bin , On my desk functions are 1st class citizens
denotations of expressions may be functions from environments and stores to
expressible values-there is no need to return the current store, as it is unchanged.
overlay =A(e E Env, e’ E Env). Ale EIde. idov, AX E 0. e’(l)
E Env xEnv --+Env
:haskell: :fsf: :emacs: :ocaml: