Closed anton-k closed 3 years ago
Evaluator can evaluate to any term: combo of primitives and primitive constructors that take other terms as arguments.
Fixes #197
Evaluator can evaluate to any term: combo of primitives and primitive constructors that take other terms as arguments.
Fixes #197