Enabled Agda 2.5.3.
commit0c7ad6906b815d87ecf467c42ede1142c1a7d32d
authorAndrés Sicard-Ramírez <asr@eafit.edu.co>
dateSun 10 Sep 2017, 22:46 (9 years ago)
parentaa38810
build-constraints.yaml+1−2
@@ -2033,8 +2033,7 @@ packages:
20332033 - ipython-kernel # GHC 8
20342034
20352035 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2036− []
2037− # - Agda # GHC 8.2.1
2036+ - Agda
20382037
20392038 "James Cook <mokus@deepbondi.net> @mokus0":
20402039 - dependent-sum