User contributions for Atzeus
9 December 2013
- 08:5308:53, 9 December 2013 diff hist −231 CTRex →Row polymorphism current
6 December 2013
- 10:1610:16, 6 December 2013 diff hist +4 CTRex →Records
- 10:1510:15, 6 December 2013 diff hist +1 CTRex →Records
- 10:1510:15, 6 December 2013 diff hist +26 CTRex →Records
- 10:1410:14, 6 December 2013 diff hist +1 CTRex →Records
- 10:1410:14, 6 December 2013 diff hist +337 CTRex →Records
- 10:0910:09, 6 December 2013 diff hist +12 CTRex →Duplicate labels, and lacks
- 10:0610:06, 6 December 2013 diff hist +1 CTRex →Trex (Hugs)
- 10:0610:06, 6 December 2013 diff hist +1 CTRex →Basic extensible records
- 10:0610:06, 6 December 2013 diff hist 0 CTRex →Basic extensible records
- 10:0210:02, 6 December 2013 diff hist +555 CTRex →Duplicate labels, and lacks
- 09:4209:42, 6 December 2013 diff hist +7 CTRex →Duplicate labels, and lacks
- 09:4209:42, 6 December 2013 diff hist +30 CTRex →Duplicate labels, and lacks
5 December 2013
- 16:3416:34, 5 December 2013 diff hist 0 CTRex →HList records
- 16:3016:30, 5 December 2013 diff hist +11 CTRex →Constrained record operations
- 16:3016:30, 5 December 2013 diff hist +1 CTRex →Constrained record operations
- 16:2916:29, 5 December 2013 diff hist +1 CTRex →Duplicate labels, and lacks
- 16:2716:27, 5 December 2013 diff hist +109 CTRex →Operations
- 16:2616:26, 5 December 2013 diff hist −16 CTRex →Operations
- 16:2516:25, 5 December 2013 diff hist −3 CTRex →Operations
- 16:2416:24, 5 December 2013 diff hist +1 CTRex →Rows and records
- 16:2416:24, 5 December 2013 diff hist +1 CTRex →Labels
- 16:2316:23, 5 December 2013 diff hist +3 CTRex →Difference between Heterogenous maps and extensible records
- 16:2216:22, 5 December 2013 diff hist +22 CTRex →Difference between Heterogenous maps and extensible records
- 16:2116:21, 5 December 2013 diff hist +3 CTRex →Row polymorphism
- 16:2116:21, 5 December 2013 diff hist +13 CTRex →Row polymorphism
- 16:2016:20, 5 December 2013 diff hist +5 CTRex →Basic extensible records
- 16:1916:19, 5 December 2013 diff hist +2 CTRex →Basic extensible records
- 16:1816:18, 5 December 2013 diff hist −51 CTRex →Basic extensible records
- 16:1716:17, 5 December 2013 diff hist +1 CTRex →Basic extensible records
- 16:1616:16, 5 December 2013 diff hist −2 CTRex →Basic extensible records
- 16:1616:16, 5 December 2013 diff hist +8 CTRex →Basic extensible records
- 16:0316:03, 5 December 2013 diff hist +7 CTRex →Records
- 14:4414:44, 5 December 2013 diff hist +11 CTRex →Introduction
- 14:4414:44, 5 December 2013 diff hist +2 CTRex →Constrained record operations
- 14:4314:43, 5 December 2013 diff hist 0 CTRex →Duplicate labels, and lacks
- 14:4314:43, 5 December 2013 diff hist +14 CTRex →Trex (Hugs)
- 14:4214:42, 5 December 2013 diff hist +1 CTRex →Row polymorphism
- 14:4214:42, 5 December 2013 diff hist +2 CTRex →Row polymorphism
- 14:4114:41, 5 December 2013 diff hist +3 CTRex →Difference between Heterogenous maps and extensible records
- 14:4114:41, 5 December 2013 diff hist +174 CTRex →Labels
- 14:2914:29, 5 December 2013 diff hist +421 CTRex No edit summary
- 14:2014:20, 5 December 2013 diff hist −32 CTRex →More
- 14:2014:20, 5 December 2013 diff hist +77 CTRex →Comparison with other approaches
- 14:0014:00, 5 December 2013 diff hist +138 CTRex →Constrained record operations
- 13:4913:49, 5 December 2013 diff hist +286 CTRex →Comparison with other approaches
- 13:2913:29, 5 December 2013 diff hist −7 CTRex →HList records
- 13:2813:28, 5 December 2013 diff hist +2 CTRex →HList records
- 13:2813:28, 5 December 2013 diff hist −56 CTRex →HList records
- 13:2813:28, 5 December 2013 diff hist +7 CTRex →HList records