From b552a0173352c5422debca6f2803c58203d2ee69 Mon Sep 17 00:00:00 2001 From: Aron <arostr-5@student.ltu.se> Date: Sun, 10 Nov 2019 14:12:23 +0100 Subject: [PATCH] small update to the SOS --- HOME_EXAM.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/HOME_EXAM.md b/HOME_EXAM.md index 95a7da3..79eaf7b 100644 --- a/HOME_EXAM.md +++ b/HOME_EXAM.md @@ -206,7 +206,7 @@ For furture development ## Your semantics -Structural Operational Semantics (SOS) +Structural Operational Semantics (SOS) for the compiler is described below in small step. Symbols: - σ, state -- GitLab