Francesco Magliocca 418eb24c7a Start writing operational semantics		2022-05-20 12:54:49 +02:00
..
operational_semantics.md	Start writing operational semantics	2022-05-20 12:54:49 +02:00