CTRex: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
= Introduction = | |||
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 *not* use overlapping instances. | 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:01, 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.