Re: [isabelle] Context Free Language
Do you have statistical data about language usage in the Isabelle
libraries known? A common ground exists at least on the Ch(3) level. My
personal experience also tells me that there is a Ch(2) basic language.
The idea of flexibility is understandable, but is similar to domain
specific languages, which might/should (deliberately) lead to Babylon
in commercial application development.
Am 23.11.2012 16:14, schrieb Makarius:
On Fri, 23 Nov 2012, Jens Doll wrote:
Ancient LCF tradition already started this "syntax-less" attitude: it
is all just "semantics" (in ML) with some notation to produce it, and
it is extensible in all directions.
... context free syntax ...
This archive was generated by a fusion of
Pipermail (Mailman edition) and