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.

No comments:

Post a Comment