Difference between revisions of "CTRex"
Jump to navigation
Jump to search
| 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.