Index of /~rl/code 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        03-Jun-2010 20:54      -  
[DIR] darcs/                  12-Feb-2010 14:05      -  
[DIR] doc/                    08-Mar-2008 01:56      -  
[TXT] fixpoint.html           20-Nov-2007 20:55     2k  
[DIR] fixpoint/               20-Nov-2007 21:00      -  
[TXT] package.css             21-Mar-2007 13:36     1k  
[TXT] strict.html             08-Mar-2008 01:57     1k  
[DIR] strict/                 08-Mar-2008 01:56      -
Apache/1.3.34 Server at www.cse.unsw.edu.au Port 80