diff options
Diffstat (limited to 'examples/peacekeeping/PeaceRes.gf')
| -rw-r--r-- | examples/peacekeeping/PeaceRes.gf | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/examples/peacekeeping/PeaceRes.gf b/examples/peacekeeping/PeaceRes.gf deleted file mode 100644 index f39107a1e..000000000 --- a/examples/peacekeeping/PeaceRes.gf +++ /dev/null @@ -1,13 +0,0 @@ -resource PeaceRes = { - - param Punct = FullStop | QuestMark | ExclMark ; - - param SForm = SPos | SNeg | SQuest ; - - oper - stop, quest, excl : Str -> { s : Str; p : Punct } ; - stop x = { s = x; p = FullStop } ; - quest x = { s = x; p = QuestMark } ; - excl x = { s = x; p = ExclMark } ; - -}
\ No newline at end of file |