User contributions for Davesque
20 July 2013
- 01:4201:42, 20 July 2013 diff hist +3 GADTs for dummies No edit summary
- 01:4201:42, 20 July 2013 diff hist +6 GADTs for dummies No edit summary
- 01:3901:39, 20 July 2013 diff hist +3 GADTs for dummies No edit summary
7 December 2012
- 03:1203:12, 7 December 2012 diff hist −6 Error vs. Exception →Examples: Some style and wording edits in first paragraph.