issues
search
mstksg
/
typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
http://hackage.haskell.org/package/typelits-witnesses
MIT License
10
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add new version on hackage to support finitary package with modern GHC
#9
recursion-ninja
closed
11 months ago
1
Compatability with GHC-9.4 & GHC-9.6 via CPP for `cmpNat`
#8
recursion-ninja
closed
1 year ago
1
Include generated Cabal file
#7
isomorpheme
closed
3 months ago
1
GHC 9.2 compatibility
#6
TristanCacqueray
closed
1 year ago
1
Qualify cmpNat to avoid ambiguity with base-4.16 version
#5
jmorag
closed
1 year ago
1
Only coerce the SNat, not the Either constructor.
#4
matt-noonan
closed
2 years ago
1
Fix type of (%*)
#3
hseg
closed
4 years ago
1
GHC.TypeLits.Witnesses is deprecated?
#2
erikd
opened
5 years ago
8
Behavior for negative results with subtraction
#1
mstksg
closed
5 years ago
1