Add description for the concurrent reduction rules

harp-project · Mar 21, 2022 · bf0413f · bf0413f
1 parent c239e86
commit bf0413f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/semantics_description.pdf b/semantics_description.pdf