Metadata-Version: 2.1
Name: semantics2021-toy-languages
Version: 1.1.0
Summary: A Python implementation of the toy languages used in Part IB "Semantics of Programming Languages" (2020 - 2021)
Home-page: https://github.com/MitalAshok/semantics2021_toy_languages
Author: Mital Ashok
Author-email: ma880@cam.ac.uk
License: UNKNOWN
Platform: any
Description-Content-Type: text/markdown

semantics2021_toy_languages
===========================

A Python implementation of the toy languages used in [Part IB "Semantics of Programming Languages" (2020 - 2021)](https://www.cl.cam.ac.uk/teaching/2021/Semantics/)

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:

```bash
$ 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.


