eliminators
Dependently typed elimination functions using singletons
https://github.com/RyanGlScott/eliminators
Version on this page: | 0.7@rev:1 |
LTS Haskell 21.14: | 0.9.2 |
Stackage Nightly 2023-10-02: | 0.9.3@rev:1 |
Latest on Hackage: | 0.9.3@rev:1 |
Maintained by Ryan Scott
This version can be pinned in stack with:
eliminators-0.7@sha256:9689531d590aa2ee489011a1acdf5f42269d343783b741e9440d5b3f0b39e8ae,2727
Module documentation for 0.7
Depends on 7 packages(full list with versions):