On Thu, Feb 02, 2017 at 12:09:02PM +0000, E.Robbins wrote: > I having been looking for prior work on a formalised semantics for the TCG > language. I have seen passing references, and wondered if anyone can provide > any pointers? > > If this is the wrong list for this question, apologies, please direct me > elsewhere.
This is the right list. Welcome! Have you seen tcg/README? It describes the TCG ops. If it's out of date or missing information, then improving the document seems worthwhile.
signature.asc
Description: PGP signature
