mkInterj in some languages; 'make Parse' in lib/src builds Parse8.pgf

2013-12-02 13:34:07 +00:00
parent b192199aec
commit f64eb3acbf
9 changed files with 87 additions and 33 deletions
@@ -193,6 +193,9 @@ oper
 --  AS, A2S, AV, A2V : Type ;
 --
 --
+  mkInterj : Str -> Interj
+    = \s -> lin Interj {s = s} ;
+
 ----.
 ----2 Definitions of paradigms
 ----