This module implements the reduction pass which applies various kinds of type theoretic reductions:
- zeta
- zetaDelta
- beta
- ground term evaluation
Apply zeta, zetaDelta, beta, and ground term evaluation.
This module implements the reduction pass which applies various kinds of type theoretic reductions:
Apply zeta, zetaDelta, beta, and ground term evaluation.