Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-01-19 | Rename pseudocode file. | Greg Brown | |
This is anticipating the addition of pseudocode as a data type. That should make the denotational semantics much more performant, and allows the addition of new forms of semantics without duplicating effort. |