1
0
forked from GitHub/gf-rgl

(Ara) Add QVP functions

This commit is contained in:
Inari Listenmaa
2019-01-25 10:15:23 +01:00
parent 7fb1d32691
commit 535be667c7

View File

@@ -83,4 +83,13 @@ concrete QuestionAra of Question = CatAra ** open ResAra, ParamX, Prelude, VerbA
n = sizeToNumber num.n ; n = sizeToNumber num.n ;
d = Indef ---- TODO check d = Indef ---- TODO check
} ; } ;
-- IL guessed all following
lincat
QVP = ResAra.VP ; -- buy what where
lin
ComplSlashIP vps ip = ComplSlash vps (ip2np ip False) ; -- : VPSlash -> IP -> QVP ; -- buys what
AdvQVP = AdvVP ; -- : VP -> IAdv -> QVP ; -- lives where
AddAdvQVP = AdvVP ; -- : QVP -> IAdv -> QVP ; -- buys what where
QuestQVP = QuestVP ; -- : IP -> QVP -> QCl ; -- who buys what where
} }