Difference between revisions of "CTRex"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
| + | == Introduction == |
||
| − | This page describes the design, usage and motivation for CTRex. |
||
| − | [https://github.com/atzeus/CTRex] |
+ | This page describes the design, usage and motivation for [CTRex | https://github.com/atzeus/CTRex] |
| + | |||
| + | 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 15:59, 4 December 2013
Introduction
This page describes the design, usage and motivation for [CTRex | https://github.com/atzeus/CTRex]
CTRex is a library for Haskell which implements extensible records using closed type families and type literals. It does *not* use overlapping instances.