--rw-r--r-- M 53 fernan sys 88 Sep 19 2009 Main.hs --rw-r--r-- M 53 fernan sys 0 Sep 19 2009 SHOULDCOMPILE d-rwxr-xr-x M 53 fernan sys 0 Jul 15 2018 bad --rw-r--r-- M 53 fernan sys 90 Sep 19 2009 ctx.hmakerr Go to parent directory