1
0
forked from GitHub/gf-core

mkPredet in ParadigmsIta; should be more general, but this one is enough for the MGL

This commit is contained in:
aarne
2013-05-06 15:25:23 +00:00
parent 307e0854ed
commit 3e22349d2b

View File

@@ -285,6 +285,11 @@ oper
AS, A2S, AV, A2V : Type ; --%
--2 Closed categories
mkPredet : Str -> Predet
= \s -> lin Predet {s = \\a,c => prepCase c ++ s ; c = Nom ; a = PNoAg} ;
--.
--2 The definitions of the paradigms
--