Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / konn/ghc-typelits-presburger issues and pull requests
#29 - Release 0.7.4.0
Pull Request -
State: closed - Opened by konn 6 months ago
#28 - Supports GHC 9.10
Pull Request -
State: closed - Opened by konn 6 months ago
#27 - GHC 9.8 Support
Pull Request -
State: closed - Opened by konn 11 months ago
#26 - Explicitly includes Changelog
Pull Request -
State: closed - Opened by konn over 1 year ago
#25 - Supports GHC 9.6.1
Pull Request -
State: closed - Opened by konn over 1 year ago
#24 - The plugin takes gigabytes for a program with lots of additions
Issue -
State: open - Opened by Mikolaj almost 2 years ago
#23 - Workaround to solve `Assert`s properly
Pull Request -
State: closed - Opened by konn about 2 years ago
#22 - GHC 9.4 Support
Pull Request -
State: closed - Opened by konn over 2 years ago
#21 - Bumps up to GHC 9.0.2 and 9.2.2
Pull Request -
State: closed - Opened by konn over 2 years ago
#20 - Started working on GHC 9.2 support
Pull Request -
State: closed - Opened by konn about 3 years ago
Labels: merge me
#19 - Soundness issue around type families
Issue -
State: open - Opened by soundlogic2236 over 3 years ago
- 1 comment
#18 - Soundness issue around comparisons
Issue -
State: open - Opened by soundlogic2236 over 3 years ago
- 1 comment
#17 - Support for GHC 9 and singleton-3.0
Pull Request -
State: closed - Opened by konn over 3 years ago
- 1 comment
#16 - Mergify: configuration update
Pull Request -
State: closed - Opened by konn almost 4 years ago
#15 - Mergify: configuration update
Pull Request -
State: closed - Opened by konn almost 4 years ago
#14 - Preparation for GHC 9
Pull Request -
State: closed - Opened by konn almost 4 years ago
- 2 comments
Labels: merge me
#13 - Add supports for `Min` and `Max`
Pull Request -
State: closed - Opened by konn almost 4 years ago
#12 - Allow non-depending on equational-reasoning
Pull Request -
State: closed - Opened by konn almost 4 years ago
#11 - Trying to switch to GitHub Actions
Pull Request -
State: closed - Opened by konn almost 4 years ago
#10 - Excludes [D]eriveds from premises
Pull Request -
State: closed - Opened by konn almost 4 years ago
#9 - Recursive function fails to reject type-natural mismatch
Issue -
State: closed - Opened by konn almost 4 years ago
- 2 comments
Labels: bug
#8 - Preparation for 0.3.0.0
Pull Request -
State: closed - Opened by konn almost 5 years ago
#7 - Removed "presburger" from the submodules.
Pull Request -
State: closed - Opened by Haskell-mouse almost 5 years ago
- 2 comments
#6 - Update to be compatible with Singletons 2.5.1
Pull Request -
State: closed - Opened by Haskell-mouse almost 5 years ago
- 1 comment
#5 - Cannot build due to missing dependency
Issue -
State: closed - Opened by crockeea almost 6 years ago
- 2 comments
#4 - `simple-arith` executable won't compile with GHC 8.6.3
Issue -
State: closed - Opened by konn almost 6 years ago
- 2 comments
#3 - Support GHC 8.2
Issue -
State: closed - Opened by konn about 7 years ago
- 1 comment
#2 - Requires equational-reasoning at runtime
Issue -
State: closed - Opened by ttuegel over 7 years ago
- 2 comments
#1 - The behaviour of `(-)` doesn't comply with GHC's TypeLits.
Issue -
State: closed - Opened by konn over 8 years ago
- 1 comment