missing constructions in Attempto grammars added

2026-09-14 06:16:01 -06:00 · 2008-11-03 16:51:43 +00:00
parent bf50b5d70d
commit 44ad7596b6
15 changed files with 112 additions and 59 deletions
@@ -0,0 +1,8 @@
+concrete SymbolsC of Symbols = open Prelude in {
+
+lincat Var = SS ;
+
+lin X_Var = ss "X" ;
+lin Y_Var = ss "Y" ;
+
+}