eliminators
Dependently typed elimination functions using singletons
https://github.com/RyanGlScott/eliminators
Version on this page: | 0.2 |
LTS Haskell 22.17: | 0.9.3@rev:2 |
Stackage Nightly 2024-04-19: | 0.9.4@rev:1 |
Latest on Hackage: | 0.9.4@rev:1 |
Maintained by Ryan Scott
This version can be pinned in stack with:
eliminators-0.2@sha256:21b1882c4b8f60793703f96f400b6acb83e5fe633cb19f0b6225df2d0d333e76,2215
Module documentation for 0.2
Depends on 6 packages(full list with versions):