forked from GitHub/gf-rgl
Formatting fixes
This commit is contained in:
@@ -2,10 +2,10 @@ concrete AdjectiveTur of Adjective = CatTur ** open ResTur, Prelude in {
|
|||||||
|
|
||||||
lin
|
lin
|
||||||
|
|
||||||
PositA a = {s=a.s} ;
|
PositA a = {s = a.s} ;
|
||||||
|
|
||||||
ComparA a np = {
|
ComparA a np = {
|
||||||
s = \\n,c => np.s ! Ablat ++ a.s ! n ! c ;
|
s = \\n,c => np.s ! Ablat ++ a.s ! n ! c ;
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
UseComparA a = {
|
UseComparA a = {
|
||||||
|
|||||||
Reference in New Issue
Block a user