Adds singletons-presburger
commit7c19527f19b15d289a167b5f5a3240740ebf119f
authorHiromi ISHII <konn.jinro@gmail.com>
dateSun 9 Feb 2020, 22:34 (7 years ago)
parenta4114cf
build-constraints.yaml+1
@@ -4121,6 +4121,7 @@ packages:
41214121 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
41224122 - equational-reasoning
41234123 - ghc-typelits-presburger
4124+ - singletons-presburger
41244125 - type-natural
41254126 - sized
41264127