eliminators
Dependently typed elimination functions using singletons
https://github.com/RyanGlScott/eliminators
Version on this page: | 0.6@rev:1 |
LTS Haskell 20.9: | 0.9 |
Stackage Nightly 2023-02-04: | 0.9.1 |
Latest on Hackage: | 0.9.1 |
Maintained by Ryan Scott
This version can be pinned in stack with:
eliminators-0.6@sha256:6dceb85ab9b2ed44fbbaee15c6d8991e58bef3358b150bccbddc6745001bf80d,2643
Module documentation for 0.6
Depends on 7 packages(full list with versions):