3 ms·
s := a | (s s) common lisp syntax. Even simpler, but that shifts much of abstraction capabilities to the operational semantics.
by chewxy 7y ago
s := a | (s s)
common lisp syntax. Even simpler, but that shifts much of abstraction capabilities to the operational semantics.