Difference between revisions of "CTRex"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
This page will describe the design, usage and motivation for [https://github.com/atzeus/CTRex CTRex]. |
This page will describe the design, usage and motivation for [https://github.com/atzeus/CTRex CTRex]. |
||
| − | CTRex is a library for Haskell which implements extensible records using closed type families and type literals. It does |
+ | CTRex is a library for Haskell which implements extensible records using closed type families and type literals. It does '''not''' use overlapping instances. |
Revision as of 16:02, 4 December 2013
Introduction
This page will describe the design, usage and motivation for CTRex.
CTRex is a library for Haskell which implements extensible records using closed type families and type literals. It does not use overlapping instances.