[ #1222 ] Re-enable Agda.
Added support for unordered-containers 0.2.6.0 in Agda 2.5.1.
commit0a6cfc034ebc58c172ab5c2bc28fa04bf998c5d7
authorAndrés Sicard-Ramírez <asr@eafit.edu.co>
dateSun 17 Apr 2016, 17:53 (11 years ago)
parent00dedc4
build-constraints.yaml+1−3
@@ -1546,9 +1546,7 @@ packages:
15461546 - ipython-kernel
15471547
15481548 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1549− # Temporarily removed due to upper bound on unordered-containers.
1550− # - Agda
1551− []
1549+ - Agda
15521550
15531551 "James Cook <mokus@deepbondi.net> @mokus0":
15541552 - dependent-sum