Changes between Version 5 and Version 6 of ASCIINotationParser

Show
Ignore:
Timestamp:
12/06/08 17:50:37 (4 years ago)
Author:
mgrintal
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ASCIINotationParser

    v5 v6  
    55 
    66||Symbol|| `a?b?c` || 
     7||Application|| (function arg1 arg2 ... )|| 
     8||Binders || (binder [var1, var2, ...] scope) || 
    79||...||...|| 
     10 
     11= Examples = 
     12 * Symbols:     cdbase?cd?name 
     13 * Application: (??interval-oo $a $b) 
     14 * Binders:     (?quant1?forall [$vars($x) $f])    
    815 
    916= Some links =