User contributions
Jump to navigation
Jump to search
- 17:16, 3 January 2012 diff hist +37 Lazy vs. non-strict Minimal change to reference the existing page on WHNF
- 11:52, 21 November 2011 diff hist +379 Weak head normal form