Merge pull request #2853 from asr/agda-2.5.3
Enabled Agda 2.5.3.
commit722a30b1c1c76bfdf391e5b18356453e28c161c6
authorLuke Murphy <lwm@users.noreply.github.com>
dateMon 11 Sep 2017, 09:54 (9 years ago)
parentaa388100c7ad69
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