BlockBS rule should show how the sigmas relate in derivation tree - Githubissues

parttimenerd / while-semantics

A visualization of evaluations of the while language via semantic rules.

http://mostlynerdless.de/while-semantics/

1 stars 0 forks source link

BlockBS rule should show how the sigmas relate in derivation tree #2

Closed Kha closed 7 years ago

Kha commented 7 years ago

...using explicit equalities between them, like in AssBS.