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

 Name                    Last modified       Size  Description

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

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";