User contributions for Dr0b3rts

25 October 2011

• 18:5118:51, 25 October 2011 diff hist +217‎ GADTs for dummies ‎ Added GADT translation of example data definition
• 18:2518:25, 25 October 2011 diff hist +143‎ GADTs for dummies ‎ Many grammatical revisions

1 October 2011

• 19:4419:44, 1 October 2011 diff hist +1‎ m Dynamic programming example ‎ Corrected bitmask of last example (0x8120 should be 0x80120)