Ideas.Common.Environment

Reference

data Ref a

class Reference a

Binding

data Binding

makeBinding

fromBinding

showValue

getTermValue

Heterogeneous environment

data Environment

makeEnvironment

singleBinding

class HasEnvironment env

class HasRefs a

bindings

noBindings

(?)