User contributions
Jump to navigation
Jump to search
- 18:51, 25 October 2011 diff hist +217 GADTs for dummies Added GADT translation of example data definition
- 18:25, 25 October 2011 diff hist +143 GADTs for dummies Many grammatical revisions
- 19:44, 1 October 2011 diff hist +1 m Dynamic programming example Corrected bitmask of last example (0x8120 should be 0x80120)