[e-lang] Somewhat offtopic: Extensible Term Language

[Mark S. Miller]

Please view my previous message in a fixed width font.

Mark S. Miller wrote:
> # The language in which term-tree quasiliterals are expressed is the 
> variant
> # of this grammar whose start symbol is <tt>&lt;rhs&gt;</tt> rather than
> # <tt>&lt;schema&gt;</tt>.

Besides the files in the E distributed mentioned in schema.schema, additional 
information about E's term trees can be found at
http://www.erights.org/data/terml/index.html
Some hints of the power of term-tree quasiliterals can be found at
http://www.erights.org/elang/quasi/terms/like-ellipses.html

-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM