GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 17:42:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

some godis additions to dialogue

Browse Source
This commit is contained in:
aarne
2006-05-17 21:04:54 +00:00
parent cc07890344
commit 747eccf2df
5 changed files with 44 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
examples/dialogue/Dialogue.gf
View File

@@ -5,6 +5,8 @@ abstract Dialogue = {
cat
Move ;
Action ;
Proposition ;
Question ;
Kind ;
Object Kind ;
Oper0 ;
@@ -13,9 +15,17 @@ abstract Dialogue = {
fun
MRequest : Action -> Move ;
MAnswer : Action -> Move ;
MConfirm : Action -> Move ;
MAnswer : Proposition -> Move ;
MIssue : Question -> Move ;
MQuery : Kind -> Move ;
MYes : Move ;
MNo : Move ;
MObject : (k : Kind) -> Object k -> Move ;
PAction : Action -> Proposition ;
QKind : Kind -> Question ;
AOper0 : Oper0 -> Action ;
AOper1 : (k : Kind) -> Oper1 k -> Object k -> Action ;