(Ara) Add AdjOrd + AdvS

2026-07-03 04:28:33 -06:00 · 2018-11-20 15:47:47 +01:00
parent b63da6573e
commit d6310e2a8b
3 changed files with 4 additions and 3 deletions
@@ -44,4 +44,6 @@ concrete AdjectiveAra of Adjective = CatAra ** open ResAra, Prelude in {
    s = \\h,g,n,d,c => a.s ! AComp d c 
    };

+  -- : Ord -> AP ;       -- warmest
+  AdjOrd ord = {s = \\h,g,n,s,c => ord.s ! g ! s ! c} ;
 }