Enabled Agda 2.5.2.
commit4c1a8455af7b60150bd3fb02b10da28d1e7c53ca
authorAndrés Sicard-Ramírez <asr@eafit.edu.co>
dateFri 23 Dec 2016, 08:07 (10 years ago)
parentb3b106b
build-constraints.yaml+1−2
@@ -1759,8 +1759,7 @@ packages:
17591759 # GHC 8 - ipython-kernel
17601760
17611761 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1762− []
1763− # - Agda # BLOCKED haskell-src-exts < 1.18 and QuickCheck < 2.9
1762+ - Agda
17641763
17651764 "James Cook <mokus@deepbondi.net> @mokus0":
17661765 - dependent-sum