User contributions
- 12:29, 30 December 2016 (diff | hist) . . (-1) . . Impredicative types (Fix a broken link) (current)
- 08:34, 12 May 2016 (diff | hist) . . (+17) . . Uniplate (→Links) (current)
- 03:37, 14 April 2016 (diff | hist) . . (+23) . . Lazy vs. non-strict (Fix broken links)
- 01:02, 5 April 2016 (diff | hist) . . (+145) . . Research papers/Functional pearls
- 05:06, 13 March 2016 (diff | hist) . . (+3) . . m GHC/Type families (Fix a typo: F -> F2)
- 01:33, 12 March 2016 (diff | hist) . . (-11) . . TypeCompose (Change the repo.)