Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mstksg/typelits-witnesses issues and pull requests
#9 - Add new version on hackage to support finitary package with modern GHC
Issue -
State: closed - Opened by recursion-ninja 11 months ago
- 1 comment
#8 - Compatability with GHC-9.4 & GHC-9.6 via CPP for `cmpNat`
Pull Request -
State: closed - Opened by recursion-ninja 11 months ago
- 1 comment
#7 - Include generated Cabal file
Pull Request -
State: open - Opened by isomorpheme over 1 year ago
#6 - GHC 9.2 compatibility
Pull Request -
State: closed - Opened by TristanCacqueray over 1 year ago
- 1 comment
#5 - Qualify cmpNat to avoid ambiguity with base-4.16 version
Pull Request -
State: closed - Opened by jmorag about 2 years ago
- 1 comment
#4 - Only coerce the SNat, not the Either constructor.
Pull Request -
State: closed - Opened by matt-noonan over 3 years ago
- 1 comment
#3 - Fix type of (%*)
Pull Request -
State: closed - Opened by hseg over 4 years ago
- 1 comment
#2 - GHC.TypeLits.Witnesses is deprecated?
Issue -
State: open - Opened by erikd about 5 years ago
- 8 comments
#1 - Behavior for negative results with subtraction
Issue -
State: closed - Opened by mstksg over 8 years ago
- 1 comment