Update symbolic link to code from thesis

metaborg · Sep 13, 2024 · e1cf665 · e1cf665
1 parent 48346bb
commit e1cf665
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/stratego.example/calc.str2 b/stratego.example/calc.str2
diff --git a/stratego.example/calc.str2 b/stratego.example/calc.str2
@@ -0,0 +1,9 @@
+Calc: Plus(S(m), n) -> S(Plus(m, n))   // (1 + m) + n => 1 + (m + n)
+
+Calc: Minus(n, O()) -> n               // n - 0 => n
+Calc: Minus(S(m), S(n)) -> Minus(m, n) // (1 + m) - (1 + n) => m - n
+Calc: Minus(O(), S(_)) ->
+  <fatal-err(|"Negative result!")>     // 0 - (1 + n) => not a nat
+
+strategies
+  calculate = innermost(Calc)