Tha increments

This commit is contained in:
aarne
2011-11-30 10:52:59 +00:00
parent 11a37316da
commit 1547ccd7cc
4 changed files with 14 additions and 6 deletions

View File

@@ -33,6 +33,9 @@ oper
mkA : Str -> A = \s -> lin A (mkAdj s) ;
mkPN : Str -> PN
= \s -> lin PN (ss s) ;
mkA2 : A -> Str -> A2
= \n,p -> lin A2 (n ** {c2 = p}) ;