preparing for 2023

2023-03-21 07:50:03 +01:00
parent 7e9e636776
commit c8abcf4bd4
21 changed files with 0 additions and 0 deletions
--- a/lab2/wikipedia-2022/Facts.gf
+++ b/lab2/wikipedia-2022/Facts.gf
@@ -0,0 +1,19 @@
+abstract Facts = {
+
+flags startcat = Fact ;
+
+cat
+  Fact ;
+  Object ;
+  Attribute ;
+  Value ;
+  Name ;
+
+fun
+  AttributeFact : Attribute -> Object -> Value -> Fact ;
+
+  NameObject : Name -> Object ;
+  NameValue : Name -> Value ;
+  IntValue : Int -> Value ;
+
+}