/typelevel-rewrite-rules

rewrite rules for type-level equalities

Primary LanguageHaskell

Stargazers