WHNF

weak head normal form

1
Show
Maximize