msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

(synopsis) Fix typos in Music example

Browse Source
This commit is contained in:
Inari Listenmaa
2019-01-07 08:42:57 +02:00
parent fb5d274a36
commit f72890bd05
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 = {
cat
Kind,
Kind ;
Property ;
fun
PropKind : Kind -> Property -> Kind ;
@@ -23,7 +23,7 @@ A 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
Kind = CN ;
Property = AP ;