Index of /~fp/courses/lp/misc/ass5

      Name                    Last modified       Size  Description


[DIR] Parent Directory        02-Jan-2007 22:25      -  
[TXT] ass5.txt                30-Sep-2006 09:35     4k  
[   ] decls.pl                30-Sep-2006 09:20     1k  
[   ] reify.pl                30-Sep-2006 09:20     3k  
[   ] typecheck.pl            30-Sep-2006 09:20     1k
Apache/1.3.27 Server at www.cs.cmu.edu Port 80