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

test script for query

Browse Source
This commit is contained in:
aarne
2010-06-18 07:07:32 +00:00
parent 992a7ffb38
commit 0493f640d3
3 changed files with 566 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
examples/query/Query.gf
View File

@@ -32,6 +32,7 @@ fun
AAct : Set -> Activity -> Answer ; -- S As
SAll : Kind -> Set ; -- all Ks | the Ks
SRel : Set -> Relation -> Set ; -- S's Rs
SOne : Kind -> Set ; -- one K
SIndef : Kind -> Set ; -- a K
SPlural : Kind -> Set ; -- Ks