d-rwxr-xr-x M 54 fernan sys 0 Jul 15 2018 QuickCheck --rw-r--r-- M 54 bootes sys 141655 Sep 19 2009 QuickCheck.hc --rw-r--r-- M 54 bootes sys 10821 Sep 19 2009 QuickCheck.hs Go to parent directory