(Som) Add superlatives

2026-06-30 02:58:35 -06:00 · 2019-09-27 11:14:23 +02:00
parent 9b9d6ebdd2
commit a520c9659f
4 changed files with 26 additions and 10 deletions
@@ -40,7 +40,9 @@ concrete AdjectiveSom of Adjective = CatSom ** open ResSom, Prelude in {
 -- The superlative use is covered in $Ord$.

  -- : Ord -> AP ;       -- warmest
-  -- AdjOrd ord = ord ** {} ;
+  AdjOrd ord = ord ** {
+    compar = []
+    } ;

 -- Sentence and question complements defined for all adjectival
 -- phrases, although the semantics is only clear for some adjectives.