chickadee » miniML » eval-cbv-initialize

eval-cbv-initialize:procedure

Initializes a given evaluation environment with the primitives of the mini-ML language.