--rw-r--r-- M 53 bootes sys 14407 Sep 19 2009 AbsConc3.hs --rw-r--r-- M 53 fernan sys 2368 Sep 19 2009 AbstractEval2.hs --rw-r--r-- M 53 bootes sys 5238 Sep 19 2009 AbstractMisc.hs --rw-r--r-- M 53 bootes sys 14504 Sep 19 2009 AbstractVals2.hs --rw-r--r-- M 53 fernan sys 2990 Sep 19 2009 Apply.hs --rw-r--r-- M 53 bootes sys 14162 Sep 19 2009 BarakiConc3.hs --rw-r--r-- M 53 bootes sys 4945 Sep 19 2009 BarakiMeet.hs --rw-r--r-- M 53 bootes sys 13554 Sep 19 2009 BaseDefs.hs --rw-r--r-- M 53 fernan sys 7564 Sep 19 2009 Constructors.hs --rw-r--r-- M 53 bootes sys 6151 Sep 19 2009 Dependancy.hs --rw-r--r-- M 53 fernan sys 4703 Sep 19 2009 DomainExpr.hs --rw-r--r-- M 53 bootes sys 4016 Sep 19 2009 EtaAbstract.hs --rw-r--r-- M 53 bootes sys 11859 Sep 19 2009 FrontierDATAFN2.hs --rw-r--r-- M 53 fernan sys 10786 Sep 19 2009 FrontierGENERIC2.hs --rw-r--r-- M 53 fernan sys 3751 Sep 19 2009 FrontierMisc2.hs --rw-r--r-- M 53 fernan sys 7454 Sep 19 2009 Inverse.hs --rw-r--r-- M 53 bootes sys 15931 Sep 19 2009 LambdaLift5.hs --rw-r--r-- M 53 bootes sys 8262 Sep 19 2009 Main.hs --rw-r--r-- M 53 fernan sys 2590 Sep 19 2009 MakeDomains.hs --rw-r--r-- M 53 fernan sys 1302 Sep 19 2009 Monster.hs --rw-r--r-- M 53 bootes sys 4323 Sep 19 2009 MyUtils.hs --rw-r--r-- M 53 bootes sys 19020 Sep 19 2009 Parser2.hs --rw-r--r-- M 53 bootes sys 4361 Sep 19 2009 PrettyPrint.hs --rw-r--r-- M 53 bootes sys 5947 Sep 19 2009 PrintResults.hs --rw-r--r-- M 53 fernan sys 3241 Sep 19 2009 ReadTable.hs --rw-r--r-- M 53 bootes sys 3068 Sep 19 2009 Simplify.hs --rw-r--r-- M 53 bootes sys 10693 Sep 19 2009 SmallerLattice.hs --rw-r--r-- M 53 bootes sys 37239 Sep 19 2009 StrictAn6.hs --rw-r--r-- M 53 bootes sys 9424 Sep 19 2009 SuccsAndPreds2.hs --rw-r--r-- M 53 fernan sys 3224 Sep 19 2009 TExpr2DExpr.hs --rw-r--r-- M 53 bootes sys 32652 Sep 19 2009 TypeCheck5.hs --rw-r--r-- M 53 bootes sys 16297 Sep 19 2009 Utils.hs --rw-r--r-- M 53 bootes sys 49127 Sep 19 2009 anna.stdout --rw-r--r-- M 53 fernan sys 421 Sep 19 2009 anna_table --rw-r--r-- M 53 fernan sys 2216 Sep 19 2009 ap_CaseAlts.cor --rw-r--r-- M 53 fernan sys 1927 Sep 19 2009 ap_CaseArgs.cor --rw-r--r-- M 53 fernan sys 2023 Sep 19 2009 ap_CaseOfCase.cor --rw-r--r-- M 53 fernan sys 1813 Sep 19 2009 ap_CaseOfCase2.cor --rw-r--r-- M 53 fernan sys 2901 Sep 19 2009 ap_CaseOfCase3.cor --rw-r--r-- M 53 bootes sys 2036 Sep 19 2009 ap_FuncCall.cor --rw-r--r-- M 53 fernan sys 1549 Sep 19 2009 ap_ListOfList.cor --rw-r--r-- M 53 fernan sys 1801 Sep 19 2009 ap_SemiLazyAdd.cor --rw-r--r-- M 53 fernan sys 1366 Sep 19 2009 ap_SemiLazyCase.cor --rw-r--r-- M 53 bootes sys 1128 Sep 19 2009 ap_SimpleLazy.cor --rw-r--r-- M 53 fernan sys 1194 Sep 19 2009 ap_SimpleStrict.cor --rw-r--r-- M 53 fernan sys 321 Sep 19 2009 ap_Unzip.cor --rw-r--r-- M 53 fernan sys 1596 Sep 19 2009 ap_Zip.cor --rw-r--r-- M 53 fernan sys 125 Sep 19 2009 append.cor --rw-r--r-- M 53 fernan sys 2575 Sep 19 2009 avlTree.cor --rw-r--r-- M 53 bootes sys 6859 Sep 19 2009 big.cor --rw-r--r-- M 53 fernan sys 2885 Sep 19 2009 bmark.cor --rw-r--r-- M 53 fernan sys 65 Sep 19 2009 bomb.cor --rw-r--r-- M 53 fernan sys 130 Sep 19 2009 bomb2.cor --rw-r--r-- M 53 fernan sys 707 Sep 19 2009 bug.cor --rw-r--r-- M 53 fernan sys 289 Sep 19 2009 bug_Anna1.cor --rw-r--r-- M 53 fernan sys 174 Sep 19 2009 bug_Anna2.cor --rw-r--r-- M 53 fernan sys 831 Sep 19 2009 bug_Anna3.cor --rw-r--r-- M 53 fernan sys 1124 Sep 19 2009 bug_Anna4.cor --rw-r--r-- M 53 bootes sys 245 Sep 19 2009 bug_Anna5.cor --rw-r--r-- M 53 fernan sys 99 Sep 19 2009 bug_Anna6.cor --rw-r--r-- M 53 fernan sys 269 Sep 19 2009 bug_types1.cor --rw-r--r-- M 53 fernan sys 210 Sep 19 2009 bug_types2.cor --rw-r--r-- M 53 fernan sys 279 Sep 19 2009 bury.cor --rw-r--r-- M 53 fernan sys 2883 Sep 19 2009 cfoldr.cor --rw-r--r-- M 53 fernan sys 217 Sep 19 2009 concat.cor --rw-r--r-- M 53 fernan sys 217 Sep 19 2009 concat22.cor --rw-r--r-- M 53 fernan sys 277 Sep 19 2009 concat24.cor --rw-r--r-- M 53 fernan sys 304 Sep 19 2009 concat44.cor --rw-r--r-- M 53 fernan sys 1597 Sep 19 2009 coreExpr.cor --rw-r--r-- M 53 fernan sys 663 Sep 19 2009 coreExpr0.cor --rw-r--r-- M 53 fernan sys 3223 Sep 19 2009 divide.cor --rw-r--r-- M 53 fernan sys 1420 Sep 19 2009 dividetree.cor --rw-r--r-- M 53 fernan sys 1439 Sep 19 2009 dot_3.cor --rw-r--r-- M 53 fernan sys 1004 Sep 19 2009 dot_4.cor --rw-r--r-- M 53 fernan sys 219 Sep 19 2009 eta.cor --rw-r--r-- M 53 fernan sys 371 Sep 19 2009 filter.cor --rw-r--r-- M 53 fernan sys 220 Sep 19 2009 foldrFoldl.cor --rw-r--r-- M 53 fernan sys 1759 Sep 19 2009 fourier.cor --rw-r--r-- M 53 fernan sys 1558 Sep 19 2009 funcDomain.cor --rw-r--r-- M 53 fernan sys 2072 Sep 19 2009 higherOrder.cor --rw-r--r-- M 53 fernan sys 260 Sep 19 2009 john.cor --rw-r--r-- M 53 fernan sys 702 Sep 19 2009 llfiasco.cor --rw-r--r-- M 53 fernan sys 1254 Sep 19 2009 manyIterate.cor --rw-r--r-- M 53 fernan sys 226 Sep 19 2009 mutualRec.cor --rw-r--r-- M 53 bootes sys 6859 Sep 19 2009 nofib.stdin --rw-r--r-- M 53 fernan sys 855 Sep 19 2009 ol_num.cor --rw-r--r-- M 53 fernan sys 260 Sep 19 2009 pairid.cor --rw-r--r-- M 53 fernan sys 54 Sep 19 2009 parallelOr.cor --rw-r--r-- M 53 fernan sys 413 Sep 19 2009 poly_loseGain.cor --rw-r--r-- M 53 fernan sys 1988 Sep 19 2009 poly_simple.cor --rw-r--r-- M 53 bootes sys 10895 Sep 19 2009 preludeList.cor --rw-r--r-- M 53 fernan sys 172 Sep 19 2009 realNasties.cor --rw-r--r-- M 53 fernan sys 231 Sep 19 2009 reverse.cor --rw-r--r-- M 53 fernan sys 484 Sep 19 2009 sebastian1.cor --rw-r--r-- M 53 fernan sys 569 Sep 19 2009 sebastian2.cor --rw-r--r-- M 53 fernan sys 1762 Sep 19 2009 sets.cor --rw-r--r-- M 53 bootes sys 5207 Sep 19 2009 standardTest.cor --rw-r--r-- M 53 fernan sys 373 Sep 19 2009 treeDepth.cor Go to parent directory