forked from GitHub/gf-rgl
added mkInterj
This commit is contained in:
@@ -195,6 +195,10 @@ mkAdV : Str -> AdV = \s -> lin AdV {s=s} ;
|
|||||||
-- V0 : Type ;
|
-- V0 : Type ;
|
||||||
-- AS, A2S, AV, A2V : Type ;
|
-- AS, A2S, AV, A2V : Type ;
|
||||||
--
|
--
|
||||||
|
|
||||||
|
mkInterj : Str -> Interj
|
||||||
|
= \s -> lin Interj {s = s} ;
|
||||||
|
|
||||||
----.
|
----.
|
||||||
----2 Definitions of paradigms
|
----2 Definitions of paradigms
|
||||||
----
|
----
|
||||||
|
|||||||
Reference in New Issue
Block a user