Index of /afs/cs/user/rowan/www/src/twelf-parsing

 Name                    Last modified       Size  Description

 Parent Directory        30-Jan-2005 23:41      -  
 intsyn.sig              22-Oct-2004 14:15    10k  
 lexer.sig               22-Oct-2004 14:15     3k  
 names.sig               22-Oct-2004 14:15     4k  
 parse-term.fun          30-Oct-2004 22:43    23k  
 parse-term.sig          30-Oct-2004 22:28     3k  
 parsing.sig             22-Oct-2004 14:15     1k  
 paths.sig               22-Oct-2004 14:15     3k  
 recon-term.sig          22-Oct-2004 14:15     3k  
 sortcheck-usefile.sml   22-Oct-2004 14:33     1k  
 stream.sml              30-Oct-2004 22:29     6k  

This directory contains parsing code which resolves operator fixity
and precedence, with some interesting invariants. (This code is part
of the parser for the language Twelf.)

The following command runs the sort checker on all of the files in
this example, in the appropriate order:

    use "sortcheck-usefile.sml";