Name                    Last modified       Size  Description

 Parent Directory        15-Jun-2007 16:13      -  
 treeDepth.cor           21-Feb-2007 18:32     1k  
 standardTest.cor        21-Feb-2007 18:32     5k  
 sets.cor                21-Feb-2007 18:32     2k  
 sebastian2.cor          21-Feb-2007 18:32     1k  
 sebastian1.cor          21-Feb-2007 18:32     1k  
 reverse.cor             21-Feb-2007 18:32     1k  
 realNasties.cor         21-Feb-2007 18:32     1k  
 preludeList.cor         21-Feb-2007 18:32    11k  
 poly_simple.cor         21-Feb-2007 18:32     2k  
 poly_loseGain.cor       21-Feb-2007 18:32     1k  
 parallelOr.cor          21-Feb-2007 18:32     1k  
 pairid.cor              21-Feb-2007 18:32     1k  
 ol_num.cor              21-Feb-2007 18:32     1k  
 nofib_driver            21-Feb-2007 18:32     1k  
 mutualRec.cor           21-Feb-2007 18:32     1k  
 manyIterate.cor         21-Feb-2007 18:32     1k  
 llfiasco.cor            21-Feb-2007 18:32     1k  
 john.cor                21-Feb-2007 18:32     1k  
 higherOrder.cor         21-Feb-2007 18:32     2k  
 funcDomain.cor          21-Feb-2007 18:32     2k  
 fourier.cor             21-Feb-2007 18:32     2k  
 foldrFoldl.cor          21-Feb-2007 18:32     1k  
 filter.cor              21-Feb-2007 18:32     1k  
 eta.cor                 21-Feb-2007 18:32     1k  
 dot_4.cor               21-Feb-2007 18:32     1k  
 dot_3.cor               21-Feb-2007 18:32     1k  
 dividetree.cor          21-Feb-2007 18:32     1k  
 divide.cor              21-Feb-2007 18:32     3k  
 coreExpr0.cor           21-Feb-2007 18:32     1k  
 coreExpr.cor            21-Feb-2007 18:32     2k  
 concat44.cor            21-Feb-2007 18:32     1k  
 concat24.cor            21-Feb-2007 18:32     1k  
 concat22.cor            21-Feb-2007 18:32     1k  
 concat.cor              21-Feb-2007 18:32     1k  
 cfoldr.cor              21-Feb-2007 18:32     3k  
 bury.cor                21-Feb-2007 18:32     1k  
 bug_types2.cor          21-Feb-2007 18:32     1k  
 bug_types1.cor          21-Feb-2007 18:32     1k  
 bug_Anna6.cor           21-Feb-2007 18:32     1k  
 bug_Anna5.cor           21-Feb-2007 18:32     1k  
 bug_Anna4.cor           21-Feb-2007 18:32     1k  
 bug_Anna3.cor           21-Feb-2007 18:32     1k  
 bug_Anna2.cor           21-Feb-2007 18:32     1k  
 bug_Anna1.cor           21-Feb-2007 18:32     1k  
 bug.cor                 21-Feb-2007 18:32     1k  
 bomb2.cor               21-Feb-2007 18:32     1k  
 bomb.cor                21-Feb-2007 18:32     1k  
 bmark.cor               21-Feb-2007 18:32     3k  
 big.sum.out             21-Feb-2007 18:32     1k  
 big.cor                 21-Feb-2007 18:32     7k  
 avlTree.cor             21-Feb-2007 18:32     3k  
 append.cor              21-Feb-2007 18:32     1k  
 ap_Zip.cor              21-Feb-2007 18:32     2k  
 ap_Unzip.cor            21-Feb-2007 18:32     1k  
 ap_SimpleStrict.cor     21-Feb-2007 18:32     1k  
 ap_SimpleLazy.cor       21-Feb-2007 18:32     1k  
 ap_SemiLazyCase.cor     21-Feb-2007 18:32     1k  
 ap_SemiLazyAdd.cor      21-Feb-2007 18:32     2k  
 ap_ListOfList.cor       21-Feb-2007 18:32     2k  
 ap_FuncCall.cor         21-Feb-2007 18:32     2k  
 ap_CaseOfCase3.cor      21-Feb-2007 18:32     3k  
 ap_CaseOfCase2.cor      21-Feb-2007 18:32     2k  
 ap_CaseOfCase.cor       21-Feb-2007 18:32     2k  
 ap_CaseArgs.cor         21-Feb-2007 18:32     2k  
 ap_CaseAlts.cor         21-Feb-2007 18:32     2k  
 anna_table              21-Feb-2007 18:32     1k  
 anna.stdout             21-Feb-2007 18:32    48k  
 anna.prescript          21-Feb-2007 18:32     1k  
 anna.postscript         21-Feb-2007 18:32     1k  
 anna.hs                 21-Feb-2007 18:32     8k  
 anna.expected           25-Feb-2007 19:48    76k  
 Utils.hs                21-Feb-2007 18:32    16k  
 TypeCheck5.hs           21-Feb-2007 18:32    32k  
 Testmakefile            21-Feb-2007 18:32     2k  
 TExpr2DExpr.hs          21-Feb-2007 18:32     3k  
 SuccsAndPreds2.hs       21-Feb-2007 18:32     9k  
 StrictAn6.hs            21-Feb-2007 18:32    36k  
 SmallerLattice.hs       21-Feb-2007 18:32    10k  
 Simplify.hs             21-Feb-2007 18:32     3k  
 ReadTable.hs            21-Feb-2007 18:32     3k  
 PrintResults.hs         21-Feb-2007 18:32     6k  
 PrettyPrint.hs          21-Feb-2007 18:32     4k  
 Parser2.hs              21-Feb-2007 18:32    18k  
 MyUtils.hs              21-Feb-2007 18:32     4k  
 Monstermakefile         21-Feb-2007 18:32     1k  
 Monster.hs              21-Feb-2007 18:32     1k  
 Makefile                25-Feb-2007 19:48     1k  
 MakeDomains.hs          21-Feb-2007 18:32     3k  
 LambdaLift5.hs          21-Feb-2007 18:32    16k  
 Inverse.hs              21-Feb-2007 18:32     7k  
 FrontierMisc2.hs        21-Feb-2007 18:32     4k  
 FrontierGENERIC2.hs     21-Feb-2007 18:32    11k  
 FrontierDATAFN2.hs      21-Feb-2007 18:32    12k  
 EtaAbstract.hs          21-Feb-2007 18:32     4k  
 DomainExpr.hs           21-Feb-2007 18:32     5k  
 Dependancy.hs           21-Feb-2007 18:32     6k  
 Constructors.hs         21-Feb-2007 18:32     7k  
 BaseDefs.hs             23-Feb-2007 23:03    13k  
 BarakiMeet.hs           21-Feb-2007 18:32     5k  
 BarakiConc3.hs          21-Feb-2007 18:32    14k  
 Apply.hs                21-Feb-2007 18:32     3k  
 AbstractVals2.hs        21-Feb-2007 18:31    14k  
 AbstractMisc.hs         21-Feb-2007 18:31     5k  
 AbstractEval2.hs        21-Feb-2007 18:31     2k  
 AbsConc3.hs             21-Feb-2007 18:31    14k