CTRex: Difference between revisions
No edit summary |
|||
| Line 1: | Line 1: | ||
= CTRex = | |||
== Introduction == | == Introduction == | ||
This page | 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
CTRex
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.