Difference between revisions of "CTRex"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
== Introduction == |
== Introduction == |
||
− | This page describes the design, usage and motivation for [ |
+ | This page describes 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:00, 4 December 2013
Introduction
This page describes 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.