Index of /~dons/code/nobench/real/Djinn 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        15-Jun-2007 16:13      -  
[   ] verbose-help            21-Feb-2007 18:42     5k  
[DIR] tests/                  15-Jun-2007 16:13      -  
[TXT] ljt.p                   21-Feb-2007 18:42    12k  
[   ] examples.out            21-Feb-2007 18:42     4k  
[   ] examples                21-Feb-2007 18:42     2k  
[   ] djinn.cabal             21-Feb-2007 18:42     1k  
[DIR] Util/                   15-Jun-2007 16:13      -  
[   ] Util.hs                 21-Feb-2007 18:42     1k  
[   ] TODO                    21-Feb-2007 18:42     1k  
[   ] Setup.lhs               21-Feb-2007 18:42     1k  
[   ] REPL.hs                 21-Feb-2007 19:10     1k  
[   ] Poly.hs                 21-Feb-2007 18:42     7k  
[   ] NEWS                    21-Feb-2007 18:42     1k  
[   ] MonadBFS.hs             21-Feb-2007 18:42     1k  
[   ] Makefile                25-Feb-2007 15:15     1k  
[   ] MLJT.hs                 21-Feb-2007 18:42     1k  
[   ] MJ.hs                   21-Feb-2007 18:42     9k  
[   ] LJTParse.hs             21-Feb-2007 18:42     2k  
[   ] LJTFormula.hs           21-Feb-2007 18:42     3k  
[   ] LJT.hs                  21-Feb-2007 18:42    15k  
[   ] LICENSE                 21-Feb-2007 18:42     2k  
[   ] Help.hs                 21-Feb-2007 18:42     6k  
[   ] HTypes.hs               21-Feb-2007 18:42    15k  
[   ] HCheck.hs               21-Feb-2007 18:42     4k  
[   ] Djinn.input             21-Feb-2007 18:42    22k  
[   ] Djinn.hs                21-Feb-2007 18:42    10k  
[   ] Djinn.expected          22-Feb-2007 17:37    42k
Apache/1.3.34 Server at www.cse.unsw.edu.au Port 80