Expand description
Definitional equality and weak head normal form evaluation
Implements conversion checking through normalization with beta, delta, zeta, and iota reductions.
Structsยง
- Conversion
Stats - Statistics for conversion checking
- Converter
- Conversion checker with WHNF evaluation