lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

> I'd like to know if the semantics of lua was described in any kind of
> formal method.  I noticed that the complete syntax of lua is in the
> reference manual, but I also like to know if there is something about
> the semantics.

Not that I know. But I think Norman Ramsey was interested in writing one.

-- Roberto