A Python implementation of the toy languages used in Part IB "Semantics of Programming Languages" (2020 - 2021)
Project description
semantics2021_toy_languages
A Python implementation of the toy languages used in Part IB "Semantics of Programming Languages" (2020 - 2021)
Use as a module, like:
$ python3 -m semantics2021_toy_languages --help
You should use a file like example.L1
:
l -> 1234, l0 -> -134, l1 -> 123
l + l0 + l1
Where the first line is the initial mappings, and any subsequent lines an L1 expression.
See examples/ for more examples.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Close
Hashes for semantics2021_toy_languages-1.0.0.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 56077e9c2b074c97d1080d1cf1648900cfdf1994fb93dabae74c35a6545b0555 |
|
MD5 | cd45b6074b0c8c728243e81ce00a0d79 |
|
BLAKE2b-256 | 5e9383d4a96628b8da7c2f95607716369c4d2d9ac993ccd8f52a58fee095ef48 |
Close
Hashes for semantics2021_toy_languages-1.0.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 923192d95466dad535c9f46425ab1aefc9ec25a54b11535cab60289c376ce76a |
|
MD5 | 752f34fca4bcc7f822117be37fe7ff9e |
|
BLAKE2b-256 | f54f608daf9b26e40be592bcdb7702c02ae5d02e8193e92efb25746772275f6f |