WHNF

Initialism of weak head normal form.

Noun

  1. Initialism of weak head normal form.

Forms

WHNFs

From Wiktionary's contributor community, shared under CC BY-SA 4.0.