konn ghc-typelits-presburger issues

konn / ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals

6 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Release 0.7.4.0

#29 konn closed 4 months ago
0
Supports GHC 9.10

#28 konn closed 4 months ago
0
GHC 9.8 Support

#27 konn closed 10 months ago
0
Explicitly includes Changelog

#26 konn closed 1 year ago
0
Supports GHC 9.6.1

#25 konn closed 1 year ago
0
The plugin takes gigabytes for a program with lots of additions

#24 Mikolaj opened 1 year ago
0
Workaround to solve `Assert`s properly

#23 konn closed 1 year ago
0
GHC 9.4 Support

#22 konn closed 1 year ago
0
Bumps up to GHC 9.0.2 and 9.2.2

#21 konn closed 2 years ago
0
Started working on GHC 9.2 support

#20 konn closed 2 years ago
0
Soundness issue around type families

#19 soundlogic2236 opened 3 years ago
1
Soundness issue around comparisons

#18 soundlogic2236 opened 3 years ago
1
Support for GHC 9 and singleton-3.0

#17 konn closed 3 years ago
1
Mergify: configuration update

#16 konn closed 3 years ago
0
Mergify: configuration update

#15 konn closed 3 years ago
0
Preparation for GHC 9

#14 konn closed 3 years ago
2
Add supports for `Min` and `Max`

#13 konn closed 3 years ago
0
Allow non-depending on equational-reasoning

#12 konn closed 3 years ago
0
Trying to switch to GitHub Actions

#11 konn closed 3 years ago
0
Excludes [D]eriveds from premises

#10 konn closed 3 years ago
0
Recursive function fails to reject type-natural mismatch

#9 konn closed 3 years ago
2
Preparation for 0.3.0.0

#8 konn closed 4 years ago
0
Removed "presburger" from the submodules.

#7 Haskell-mouse closed 3 years ago
2
Update to be compatible with Singletons 2.5.1

#6 Haskell-mouse closed 4 years ago
1
Cannot build due to missing dependency

#5 crockeea closed 4 years ago
2
`simple-arith` executable won't compile with GHC 8.6.3

#4 konn closed 4 years ago
2
Support GHC 8.2

#3 konn closed 6 years ago
1
Requires equational-reasoning at runtime

#2 ttuegel closed 3 years ago
2
The behaviour of `(-)` doesn't comply with GHC's TypeLits.

#1 konn closed 4 years ago
1