3 ms·
> This is a good counterexample to "syntax is not sufficient for semantics" Perhaps I'm misunderstanding. At the top of https://treecalcul.us/specification/ h
by mrkeen 2y ago
> This is a good counterexample to "syntax is not sufficient for semantics"
Perhaps I'm misunderstanding. At the top of https://treecalcul.us/specification/ https://treecalcul.us/specification/ it shows 5 lines of small-step semantics. If you threw these away, could you recover them from the syntax?
- visarga 2y agosyntax becomes semantics after sufficient iterative updates in the environment