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)
Source hosted at: https://github.com/MitalAshok/semantics2021_toy_languages
Package hosted at: https://pypi.org/project/semantics2021-toy-languages/
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.1.0.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | e04c3f14bf73b84e6de8424cf041b04a2c9ba50f2a0b18bc33d732224ec4d34a |
|
MD5 | 3c5efaab906869ea49d0984cf73e54d2 |
|
BLAKE2b-256 | f27a5212bfafc554fc9fba64390927cdaca7922f0628a989ac79af91dc501185 |
Close
Hashes for semantics2021_toy_languages-1.1.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 472e1730668d8c9102191080a5a2e7b114b877ddae298245532457fe1dbc2a71 |
|
MD5 | 673ed015acb94648d8da9392c28dc356 |
|
BLAKE2b-256 | 9bcb341b0c6aa6c941f070ba870a5e97aa697e5b9929ec8030de4ac6c634e280 |