![@brokenix@emacs.ch cover](https://kbin.life/media/cache/resolve/user_cover/13/a4/13a40227fdbb1f44fe670bf0400511c9fd0ab889b3bfc56082c961e6024c3b1f.png)
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:
This profile is from a federated server and may be incomplete. Browse more on the original instance.