Merge pull request #2155 from asr/master
Enabled Agda 2.5.2
commit9802a569096be40683d4a3c7a6dcf87e20338baa
authorAdam Bergmark <adam@bergmark.nl>
dateFri 23 Dec 2016, 14:44 (10 years ago)
parentb3b106b4c1a845
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