agda/agda — pull request #7 by nick8325 (2014-07-15 23:01:30+00:00)
Title: QuickCheck fixes

The first patch is needed with QuickCheck 2.7.6, the second is to avoid using QC's internal MkProperty constructor because it may change in the future.