eliminators
Dependently typed elimination functions using singletons
https://github.com/RyanGlScott/eliminators
Version on this page: | 0.4.1 |
LTS Haskell 22.39: | 0.9.3@rev:2 |
Stackage Nightly 2024-10-29: | 0.9.4@rev:1 |
Latest on Hackage: | 0.9.5@rev:1 |
Maintained by Ryan Scott
This version can be pinned in stack with:
eliminators-0.4.1@sha256:1cfbf08ea9f61fdc273ed47df8aab98bc6e31d8264eb7915fa38644c0b790596,2503
Module documentation for 0.4.1
Depends on 7 packages(full list with versions):