whnf

	Sponsored Links:
Computing Dictionary
	Definition:		weak head normal form