GitHub repository: scmu/mrm
Primary language: Haskell
Description: Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types