GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

AdjOrd instance of mkAP

Browse Source
This commit is contained in:
aarne
2008-10-10 12:26:09 +00:00
parent 88798b2a23
commit 917f417413
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
next-lib/src/api/Constructors.gf
View File

@@ -868,7 +868,7 @@ incomplete resource Constructors = open Grammar in {
= ComparA ;
mkAP : A2 -> NP -> AP -- divisible by 2
= ComplA2 ;
mkAP : A2 -> AP -- divisible by itself
mkAP : A2 -> AP -- divisible
= UseA2 ;
mkAP : AP -> S -> AP -- great that she won
= \ap,s -> SentAP ap (EmbedS s) ;
@@ -884,6 +884,9 @@ incomplete resource Constructors = open Grammar in {
= \c,x,y -> ConjAP c (BaseAP x y) ;
mkAP : Conj -> ListAP -> AP
= \c,xy -> ConjAP c xy ;
mkAP : Ord -> AP
= AdjOrd ;
} ;
reflAP = ReflA2 ;