Merge pull request #1050 from asr/master
Re-enable Agda
commit74bd03efc4156b84f070d3ce7e5d89e6f2ab2efd
authorAdam Bergmark <adam@bergmark.nl>
dateSat 19 Dec 2015, 04:02 (11 years ago)
parentb3ca8d2b32595c
build-constraints.yaml+1−3
@@ -1434,9 +1434,7 @@ packages:
14341434 - ipython-kernel
14351435
14361436 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1437− # Temporarily removed due to upper bound on haskell-src-exts
1438− # - Agda
1439− []
1437+ - Agda
14401438
14411439 "James Cook <mokus@deepbondi.net> @mokus0":
14421440 - dependent-sum