semantics-agda is a collection of toy programming languages and their properties, formalized in Agda and translated (with some artistic license taken) from the notes of the 2022-2023 Semantics of Programming Languages course at Cambridge.
- L1 Definitions
- L1 Properties
- L2 Definitions
- L2 Properties
- L3 Definitions
- L3 Properties