added missing files

This commit is contained in:
Krasimir Angelov
2026-04-11 08:45:52 +02:00
parent 6a2cb9ec77
commit 401ac1f954
5 changed files with 39 additions and 5 deletions
+7
View File
@@ -0,0 +1,7 @@
concrete TextMkd of Text = open Prelude in {
lin
TEmpty = {s = []} ;
TFullStop x xs = {s = x.s ++ SOFT_BIND ++ "." ++ xs.s} ;
TQuestMark x xs = {s = x.s ++ SOFT_BIND ++ "?" ++ xs.s} ;
TExclMark x xs = {s = x.s ++ SOFT_BIND ++ "!" ++ xs.s} ;
}