User contributions for Bafain
28 February 2018
- 15:1815:18, 28 February 2018 diff hist +106 Research papers/Functional pearls →Online: Add 'A Pretty But Not Greedy Printer'
- 15:1315: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:0915: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'