Peter Simons 6b40f836c7 Fix Agda build.
Agda won't build with recent versions of QuickCheck
2012-11-06 18:34:54 +01:00
2012-10-18 10:10:49 -04:00
2012-11-06 18:34:54 +01:00
2012-06-04 03:53:25 +00:00
Description
No description provided
1.5 GiB
Languages
Nix 96.3%
Shell 1.8%
Python 0.7%
Perl 0.4%
C 0.3%
Other 0.1%