Ascent++ | forced to whnf

Ascent++

Assertion list for term "forced to whnf".

Results from Ascent++: 1

value (aspect of parameter) → ReceivesAction → forced to whnf 0.30

This work is licensed under a Creative Commons Attribution 4.0 International License. Accessibility. Imprint. Privacy.