mstksg / typelits-witnesses

Existential witnesses, singletons, and classes for operations on GHC TypeLits
12Updated 8 months ago

Alternatives and similar repositories for typelits-witnesses:

Users that are interested in typelits-witnesses are comparing it to the libraries listed below