rhi/singleton-typelits
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
singleton-typelits/GHC/TypeLits
History
Exact
rhiannon morris 5481993531 update for NoStarIsType
2025-01-04 15:42:49 +01:00
..
Induction.hs Make singleton witnesses more accurate and make induction axioms stronger 2018-07-11 21:31:53 +03:00
Singletons.hs update for NoStarIsType 2025-01-04 15:42:49 +01:00