| ||||||
| ||||||
| ||||||
Description | ||||||
Interpreters for the typed system. Links the parser and the evaluator, handling the dirty stuff. | ||||||
Synopsis | ||||||
| ||||||
Interpreters | ||||||
| ||||||
Given a Computer, a context source and a program source, return the detailed computations. | ||||||
| ||||||
Given a Computer, a context source and a program source, return the big-step computations. | ||||||
| ||||||
Given a Computer, a context source and a program source, return only the results. | ||||||
Produced by Haddock version 2.4.2 |