(Hun) Add 2-argument smart paradigm for A

This commit is contained in:
Inari Listenmaa
2020-04-26 20:16:45 +02:00
parent 22cadd2ac6
commit bbcde26d72
2 changed files with 12 additions and 9 deletions
+2 -1
View File
@@ -151,7 +151,8 @@ oper
mkA = overload {
mkA : (sgnom : Str) -> A = \s -> lin A (mkAdj s) ;
mkA : (sgnom,sgacc : Str) -> A = \s,_ -> lin A (mkAdj s) ; -- TODO
mkA : (sgnom,sgacc : Str) -> A = \n,a ->
lin A (mkAdj2 n (regNounNomAcc n a)) ;
-- mkA : (kiga : Str) -> (jakda : A) -> A = \kiga,jakda ->
-- jakda ** {s = \\af => kiga ++ jakda.s ! af} ;
} ;