User contributions
Jump to navigation
Jump to search
- 12:29, 30 December 2016 diff hist -1 Impredicative types Fix a broken link
- 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.