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

res doc updates

Browse Source
This commit is contained in:
aarne
2007-07-05 21:15:48 +00:00
parent b3c5edfdc4
commit 9f29d502cb
4 changed files with 15 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
lib/resource-1.0/doc/synopsis-example.txt
View File

@@ -15,7 +15,7 @@ An abstract syntax:
```
A domain lexicon interface:
```
interface MusicLex = open Cat in {
interface LexMusic = open Cat in {
oper
song_N : N ;
american_A : A ;
@@ -35,7 +35,7 @@ A functor on ``Syntax`` and the domain lexicon interface:
```
For each language, an instance of the domain lexicon:
```
instance MusicLexGer of MusicLex = CatGer ** open ParadigmsGer in {
instance LexMusicGer of LexMusic = CatGer ** open ParadigmsGer in {
oper
song_N = mkN "Lied" "Lieder" neuter ;
american_A = mkA "amerikanisch" ;
@@ -44,7 +44,8 @@ For each language, an instance of the domain lexicon:
For each language, an instantiation of the functor:
```
--# -path=.:present:prelude
concrete MusicGer of Music = MusicI with
(Syntax = SyntaxGer),
(MusicLex = MusicLexGer) ;
(LexMusic = LexMusicGer) ;
```