GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-28 01:18:57 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #127 from inariksit/doc

Browse Source 
(synopsis) Fix typos in Music example
This commit is contained in:
Inari Listenmaa
2019-01-07 09:18:21 +02:00
committed by GitHub
parent fb5d274a36 f72890bd05
commit 579bdfcca5
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/synopsis/example.txt
View File

@@ -5,7 +5,7 @@ An abstract syntax:
``` ```
abstract Music = { abstract Music = {
cat cat
Kind, Kind ;
Property ; Property ;
fun fun
PropKind : Kind -> Property -> Kind ; PropKind : Kind -> Property -> Kind ;
@@ -23,7 +23,7 @@ A domain lexicon interface:
``` ```
A functor on ``Syntax`` and the domain lexicon interface: A functor on ``Syntax`` and the domain lexicon interface:
``` ```
incomplete concrete MusicI of Music = open Syntax, MusicLex in { incomplete concrete MusicI of Music = open Syntax, LexMusic in {
lincat lincat
Kind = CN ; Kind = CN ;
Property = AP ; Property = AP ;