Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for eliminators-0.9.4 source tarball
eliminators-0.9.4/
CHANGELOG.md
LICENSE
README.md
Setup.hs
eliminators.cabal
src/
Data/
Eliminator.hs
Eliminator/
Functor.hs
Monoid.hs
Semigroup.hs
TH.hs
TypeLits.hs
TypeNats.hs
tests/
DecideSpec.hs
DecideTypes.hs
EqualitySpec.hs
EqualityTypes.hs
GADTSpec.hs
Internal.hs
ListSpec.hs
ListTypes.hs
MatchabilizeSpec.hs
MatchabilizeTypes.hs
PolyRecTypes.hs
Spec.hs
VecSpec.hs
VecTypes.hs