texts and idioms

2026-08-21 19:56:22 -06:00 · 2006-02-20 14:52:37 +00:00
parent 4cd96c5d52
commit b6957f4e41
13 changed files with 80 additions and 6 deletions
@@ -0,0 +1,11 @@
+--1 Texts
+
+abstract Text = Cat ** {
+
+  fun
+    TEmpty : Text ;
+    TFullStop : Phr -> Text -> Text ;
+    TQuestMark : Phr -> Text -> Text ;
+    TExclMark : Phr -> Text -> Text ;
+
+}