eliminators
Dependently typed elimination functions using singletons
https://github.com/RyanGlScott/eliminators
Version on this page: | 0.9.2 |
LTS Haskell 20.25: | 0.9 |
Stackage Nightly 2023-06-10: | 0.9.2 |
Latest on Hackage: | 0.9.3 |
Maintained by Ryan Scott
This version can be pinned in stack with:
eliminators-0.9.2@sha256:d7e4c106e75720c7fcc3bb37a31ca6f904655d00b9f5457fab1047d8f29175b9,2986
Module documentation for 0.9.2
Depends on 8 packages(full list with versions):