haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-08-19 10:34:36 +02:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Adds singletons-presburger

Browse Source
This commit is contained in:
Hiromi ISHII 2020-02-09 22:34:34 +09:00
parent 218f17d20f
commit 0f7142056a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build-constraints.yaml
View File

@ -4121,6 +4121,7 @@ packages:
"Hiromi Ishii <konn.jinro@gmail.com> @konn": "Hiromi Ishii <konn.jinro@gmail.com> @konn":
- equational-reasoning - equational-reasoning
- ghc-typelits-presburger - ghc-typelits-presburger
- singletons-presburger
- type-natural - type-natural
- sized - sized