Re-enable Agda.
commitb32595c571875362f82c6e52e5ba14fa5335da30
authorAndrés Sicard-Ramírez <asr@eafit.edu.co>
dateFri 18 Dec 2015, 21:36 (11 years ago)
parentb3ca8d2
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