1
0
forked from GitHub/gf-rgl

texts and idioms

This commit is contained in:
aarne
2006-02-20 14:52:37 +00:00
parent 1e01dd8e02
commit 599bbbd7d8
13 changed files with 80 additions and 6 deletions

View File

@@ -0,0 +1,11 @@
--1 Texts
abstract Text = Cat ** {
fun
TEmpty : Text ;
TFullStop : Phr -> Text -> Text ;
TQuestMark : Phr -> Text -> Text ;
TExclMark : Phr -> Text -> Text ;
}