Pages that link to "Weak head normal form"
The following pages link to Weak head normal form:
Displayed 3 items.
- Lazy vs. non-strict (← links)
- Abbreviations (← links)
- WHNF (redirect page) (← links)
The following pages link to Weak head normal form:
Displayed 3 items.