eliminators
Dependently typed elimination functions using singletons
https://github.com/RyanGlScott/eliminators
Version on this page: | 0.9.4 |
LTS Haskell 22.13: | 0.9.3@rev:2 |
Stackage Nightly 2024-03-14: | 0.9.4 |
Latest on Hackage: | 0.9.4@rev:1 |
Maintained by Ryan Scott
This version can be pinned in stack with:
eliminators-0.9.4@sha256:08ecd33caba526277f8c8f0daf42973b18211f925bc54011d9f48d916ebd0a7a,2986
Module documentation for 0.9.4
Depends on 8 packages(full list with versions):