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

compiling examples for doc started

Browse Source
This commit is contained in:
aarne
2006-10-18 09:54:17 +00:00
parent 7dea021ece
commit 6c0f599055
3 changed files with 61 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
examples/compiling/CompexEng.gf Normal file
View File

@@ -0,0 +1,8 @@
concrete CompexEng of Compex = open MathematicalEng, ParadigmsEng, Prelude in {
lincat
Prop = {s : Bool => Str} ;
Ind = NP ;
lin
Even : Ind -> Prop ;
}