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

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] intsyn.sig              22-Oct-2004 14:15   10K  
[   ] lexer.sig               22-Oct-2004 14:15  3.4K  
[   ] names.sig               22-Oct-2004 14:15  4.3K  
[   ] parse-term.fun          30-Oct-2004 22:43   23K  
[   ] parse-term.sig          30-Oct-2004 22:28  3.2K  
[   ] parsing.sig             22-Oct-2004 14:15  1.1K  
[   ] paths.sig               22-Oct-2004 14:15  3.5K  
[   ] recon-term.sig          22-Oct-2004 14:15  2.7K  
[   ] sortcheck-usefile.sml   22-Oct-2004 14:33  381   
[   ] stream.sml              30-Oct-2004 22:29  6.2K  


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