User contributions
Jump to navigation
Jump to search
- 08:53, 9 December 2013 diff hist -231 CTRex →Row polymorphism current
- 10:16, 6 December 2013 diff hist +4 CTRex →Records
- 10:15, 6 December 2013 diff hist +1 CTRex →Records
- 10:15, 6 December 2013 diff hist +26 CTRex →Records
- 10:14, 6 December 2013 diff hist +1 CTRex →Records
- 10:14, 6 December 2013 diff hist +337 CTRex →Records
- 10:09, 6 December 2013 diff hist +12 CTRex →Duplicate labels, and lacks
- 10:06, 6 December 2013 diff hist +1 CTRex →Trex (Hugs)
- 10:06, 6 December 2013 diff hist +1 CTRex →Basic extensible records
- 10:06, 6 December 2013 diff hist 0 CTRex →Basic extensible records
- 10:02, 6 December 2013 diff hist +555 CTRex →Duplicate labels, and lacks
- 09:42, 6 December 2013 diff hist +7 CTRex →Duplicate labels, and lacks
- 09:42, 6 December 2013 diff hist +30 CTRex →Duplicate labels, and lacks
- 16:34, 5 December 2013 diff hist 0 CTRex →HList records
- 16:30, 5 December 2013 diff hist +11 CTRex →Constrained record operations
- 16:30, 5 December 2013 diff hist +1 CTRex →Constrained record operations
- 16:29, 5 December 2013 diff hist +1 CTRex →Duplicate labels, and lacks
- 16:27, 5 December 2013 diff hist +109 CTRex →Operations
- 16:26, 5 December 2013 diff hist -16 CTRex →Operations
- 16:25, 5 December 2013 diff hist -3 CTRex →Operations
- 16:24, 5 December 2013 diff hist +1 CTRex →Rows and records
- 16:24, 5 December 2013 diff hist +1 CTRex →Labels
- 16:23, 5 December 2013 diff hist +3 CTRex →Difference between Heterogenous maps and extensible records
- 16:22, 5 December 2013 diff hist +22 CTRex →Difference between Heterogenous maps and extensible records
- 16:21, 5 December 2013 diff hist +3 CTRex →Row polymorphism
- 16:21, 5 December 2013 diff hist +13 CTRex →Row polymorphism
- 16:20, 5 December 2013 diff hist +5 CTRex →Basic extensible records
- 16:19, 5 December 2013 diff hist +2 CTRex →Basic extensible records
- 16:18, 5 December 2013 diff hist -51 CTRex →Basic extensible records
- 16:17, 5 December 2013 diff hist +1 CTRex →Basic extensible records
- 16:16, 5 December 2013 diff hist -2 CTRex →Basic extensible records
- 16:16, 5 December 2013 diff hist +8 CTRex →Basic extensible records
- 16:03, 5 December 2013 diff hist +7 CTRex →Records
- 14:44, 5 December 2013 diff hist +11 CTRex →Introduction
- 14:44, 5 December 2013 diff hist +2 CTRex →Constrained record operations
- 14:43, 5 December 2013 diff hist 0 CTRex →Duplicate labels, and lacks
- 14:43, 5 December 2013 diff hist +14 CTRex →Trex (Hugs)
- 14:42, 5 December 2013 diff hist +1 CTRex →Row polymorphism
- 14:42, 5 December 2013 diff hist +2 CTRex →Row polymorphism
- 14:41, 5 December 2013 diff hist +3 CTRex →Difference between Heterogenous maps and extensible records
- 14:41, 5 December 2013 diff hist +174 CTRex →Labels
- 14:29, 5 December 2013 diff hist +421 CTRex
- 14:20, 5 December 2013 diff hist -32 CTRex →More
- 14:20, 5 December 2013 diff hist +77 CTRex →Comparison with other approaches
- 14:00, 5 December 2013 diff hist +138 CTRex →Constrained record operations
- 13:49, 5 December 2013 diff hist +286 CTRex →Comparison with other approaches
- 13:29, 5 December 2013 diff hist -7 CTRex →HList records
- 13:28, 5 December 2013 diff hist +2 CTRex →HList records
- 13:28, 5 December 2013 diff hist -56 CTRex →HList records
- 13:28, 5 December 2013 diff hist +7 CTRex →HList records
- 13:27, 5 December 2013 diff hist +2 CTRex →HList records
- 13:26, 5 December 2013 diff hist +1,212 CTRex →HList records
- 13:12, 5 December 2013 diff hist -4 CTRex →Programmer interface
- 13:12, 5 December 2013 diff hist -5 CTRex →Type errors
- 13:11, 5 December 2013 diff hist +100 CTRex
- 13:10, 5 December 2013 diff hist +183 CTRex →Programmer interface
- 13:09, 5 December 2013 diff hist -172 CTRex →Records not disjoint
- 13:09, 5 December 2013 diff hist +1,346 CTRex →Programmer interface
- 13:08, 5 December 2013 diff hist -26 CTRex →Nicer type errors
- 12:55, 5 December 2013 diff hist +53 CTRex →Implementation
- 12:53, 5 December 2013 diff hist +3,645 CTRex →Implementation
- 12:28, 5 December 2013 diff hist +1 CTRex →Constrained record operations
- 12:28, 5 December 2013 diff hist +1,331 CTRex →Programmer interface
- 09:54, 5 December 2013 diff hist +20 CTRex
- 09:54, 5 December 2013 diff hist -8 CTRex
- 09:53, 5 December 2013 diff hist +18 CTRex →Row polymorphism
- 09:52, 5 December 2013 diff hist +1,869 CTRex →What the hell are extensible records?
- 09:38, 5 December 2013 diff hist +288 CTRex →Basic extensible records
- 09:33, 5 December 2013 diff hist +127 CTRex →Basic extensible records
- 09:31, 5 December 2013 diff hist -80 CTRex →Rows and records
- 09:31, 5 December 2013 diff hist +928 CTRex →Difference between Heterogenous maps and extensible records
- 09:09, 5 December 2013 diff hist -27 CTRex →Difference between Heterogenous maps and extensible records
- 09:08, 5 December 2013 diff hist +2,322 CTRex →What the hell are extensible records?
- 08:49, 5 December 2013 diff hist +424 CTRex →Introduction
- 19:21, 4 December 2013 diff hist +9 CTRex →Duplicate labels, and lacks
- 19:20, 4 December 2013 diff hist +10 CTRex →Sugar
- 19:20, 4 December 2013 diff hist -10 CTRex →Syntactic sugar
- 19:20, 4 December 2013 diff hist +530 CTRex →Syntactic sugar
- 18:13, 4 December 2013 diff hist 0 CTRex →Duplicate labels, and lacks
- 18:12, 4 December 2013 diff hist +1 CTRex →Duplicate labels, and lacks
- 18:12, 4 December 2013 diff hist 0 CTRex →Duplicate labels, and lacks
- 18:11, 4 December 2013 diff hist +6 CTRex →Duplicate labels, and lacks
- 18:11, 4 December 2013 diff hist +14 CTRex →Duplicate labels, and lacks
- 18:10, 4 December 2013 diff hist -9 CTRex →Operations
- 18:06, 4 December 2013 diff hist -13 CTRex
- 18:04, 4 December 2013 diff hist +1 CTRex →Duplicate labels, and lacks
- 18:04, 4 December 2013 diff hist +12 CTRex →Duplicate labels, and lacks
- 18:03, 4 December 2013 diff hist +4,115 CTRex
- 17:06, 4 December 2013 diff hist +2 CTRex
- 17:02, 4 December 2013 diff hist -32 CTRex →Operations
- 17:00, 4 December 2013 diff hist +1,341 CTRex →Operations
- 16:52, 4 December 2013 diff hist +2 CTRex →Operations
- 16:52, 4 December 2013 diff hist +1 CTRex →Rows and records
- 16:52, 4 December 2013 diff hist -1 CTRex →Rows and records
- 16:51, 4 December 2013 diff hist +12 CTRex →Rows
- 16:51, 4 December 2013 diff hist +550 CTRex
- 16:44, 4 December 2013 diff hist +23 CTRex →Introduction
- 16:43, 4 December 2013 diff hist -197 CTRex →Introduction
- 16:41, 4 December 2013 diff hist +70 CTRex →Introduction
- 16:40, 4 December 2013 diff hist +34 CTRex →Introduction
- 16:37, 4 December 2013 diff hist +1,319 CTRex →Introduction
- 16:19, 4 December 2013 diff hist +483 CTRex →Introduction
- 16:13, 4 December 2013 diff hist -16 CTRex →Introduction
- 16:13, 4 December 2013 diff hist +556 CTRex
- 16:02, 4 December 2013 diff hist +4 CTRex →Introduction
- 16:01, 4 December 2013 diff hist -13 CTRex
- 16:01, 4 December 2013 diff hist +16 CTRex
- 16:00, 4 December 2013 diff hist -2 CTRex →Introduction
- 15:59, 4 December 2013 diff hist +175 CTRex
- 15:56, 4 December 2013 diff hist -2 CTRex
- 15:55, 4 December 2013 diff hist +100 N CTRex Created page with "This page describes the design, usage and motivation for CTRex. https://github.com/atzeus/CTRex"
- 15:54, 4 December 2013 diff hist +90 Extensible record →Papers and libraries