WHNF
Initialism of weak head normal form.
Noun
Initialism of weak head normal form.
Forms
WHNFs