Showing posts with label TermL. Show all posts
Showing posts with label TermL. Show all posts
Saturday, October 8, 2011
TermL: another specification for expressing symbolic trees
No further comment, except to note that Decl support for this would be convenient.
Subscribe to:
Posts (Atom)