CTRex
Jump to navigation
Jump to search
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.