Linearization for AdjOrd as just the id function

This commit is contained in:
Ayberk Tosun committed 2017-08-23 15:40:33 +03:00
1 parent be6a44e573
commit 7bb404638a
1 file changed
+2
+2
View File
@@ -9,4 +9,6 @@ concrete AdjectiveTur of Adjective = CatTur ** open ResTur, Prelude in {
s = \\n,c => "daha" ++ a.s ! n ! c
} ;
AdjOrd v = v ;
}