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.
1 maintainer
Release files for semantics2021-toy-languages 1.1.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| semantics2021_toy_languages-1.1.0.tar.gz | 11.8 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| semantics2021_toy_languages-1.1.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 24.2 kB
Release files / semantics2021_toy_languages-1.1.0.tar.gz
| Download URL | semantics2021_toy_languages-1.1.0.tar.gz |
|---|---|
| Size | 11.8 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
e04c3f14bf73b84e6de8424cf041b04a2c9ba50f2a0b18bc33d732224ec4d34a
|
|
BLAKE2b-256 checksum How to use checksums |
f27a5212bfafc554fc9fba64390927cdaca7922f0628a989ac79af91dc501185
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.2.0 pkginfo/1.5.0.1 requests/2.20.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.6.9
|
Release files / semantics2021_toy_languages-1.1.0-py3-none-any.whl
| Download URL | semantics2021_toy_languages-1.1.0-py3-none-any.whl |
|---|---|
| Size | 12.4 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
472e1730668d8c9102191080a5a2e7b114b877ddae298245532457fe1dbc2a71
|
|
BLAKE2b-256 checksum How to use checksums |
9bcb341b0c6aa6c941f070ba870a5e97aa697e5b9929ec8030de4ac6c634e280
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.2.0 pkginfo/1.5.0.1 requests/2.20.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.6.9
|
