5 Commits

Author	SHA1	Message	Date
Yuri Tatishchev	022f9ca2fc	hw2: correct while semantics	2026-03-06 00:52:02 -08:00
Yuri Tatishchev	d3479a5b88	hw2: remove extra stuff from semantics	2026-03-06 00:22:55 -08:00
Yuri Tatishchev	5e9759a8e5	hw2: add boolean operators to semantics	2026-03-06 00:13:04 -08:00
Yuri Tatishchev	d7f35fef5b	hw2: add big-step semantics	2026-03-06 00:01:55 -08:00
Yuri Tatishchev	5138e3f817	hw2: init	2026-03-03 14:32:22 -08:00