eliminators
Dependently typed elimination functions using singletons
https://github.com/RyanGlScott/eliminators
Version on this page: | 0.5.1 |
LTS Haskell 23.8: | 0.9.4@rev:1 |
Stackage Nightly 2025-02-13: | 0.9.5@rev:1 |
Latest on Hackage: | 0.9.6 |
Maintained by Ryan Scott
This version can be pinned in stack with:
eliminators-0.5.1@sha256:3c1300e2e7e1b2def98407b984c3885d5c3b8309e9cf7ec6648b93610853becb,2576
Module documentation for 0.5.1
Depends on 7 packages(full list with versions):