User contributions
Jump to navigation
Jump to search
- 15:18, 28 February 2018 diff hist +106 Research papers/Functional pearls →Online: Add 'A Pretty But Not Greedy Printer'
- 15:13, 28 February 2018 diff hist +147 Research papers/Functional pearls →Online: Add 'Two Can Keep a Secret, If One of Them Uses Haskell'
- 15:09, 28 February 2018 diff hist -9 m Research papers/Functional pearls →Online: Fix dead link for 'Sorted. Verifying the Problem of the Dutch National Flag in Agda'