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.)

Show contributions of new accounts only IP address or username:
Namespace: Invert selection Associated namespace

Only show edits that are latest revisions Only show edits that are page creations
From year (and earlier): From month (and earlier):

Navigation menu