eliminators
Dependently typed elimination functions using singletons
https://github.com/RyanGlScott/eliminators
Version on this page: | 0.8 |
LTS Haskell 22.14: | 0.9.3@rev:2 |
Stackage Nightly 2024-03-28: | 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.8@sha256:5a4e5b4a6b8edd1ddf9e1ac8abd7170d88aeeb7b2e24f535d0e7dcd8c0968fc8,2652
Module documentation for 0.8
Depends on 7 packages(full list with versions):