This repository has been archived by the owner on Oct 7, 2020. It is now read-only.
Adapt liquid haskell tests for version 0.8.6.2#1440
Merged
alanz merged 5 commits intohaskell:masterfrom alanz:liquid-tests-0.8.6.2Nov 9, 2019
+63-37
