Page MenuHomePhabricator

Distinguish in code between head-reduction and full evaluation
Closed, ResolvedPublic