Enabled Agda 2.5.1.1.
commit63049d36cb62e52a24f1c366c6b3122291308fdb
authorAndrés Sicard-Ramírez <asr@eafit.edu.co>
dateSat 3 Sep 2016, 09:41 (10 years ago)
parent3a14f7c
build-constraints.yaml+1−1
@@ -1670,7 +1670,7 @@ packages:
16701670 # GHC 8 - ipython-kernel
16711671
16721672 # "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1673− # bounds - Agda
1673+ - Agda
16741674
16751675 "James Cook <mokus@deepbondi.net> @mokus0":
16761676 - dependent-sum