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

This commit is contained in:
aarne
2013-12-02 13:34:07 +00:00
parent 45787ff1e6
commit 4fab9c1bb8
9 changed files with 87 additions and 33 deletions

View File

@@ -193,6 +193,9 @@ oper
-- AS, A2S, AV, A2V : Type ;
--
--
mkInterj : Str -> Interj
= \s -> lin Interj {s = s} ;
----.
----2 Definitions of paradigms
----