diff options
Diffstat (limited to 'examples/peacekeeping/PeaceRes.gf')
| -rw-r--r-- | examples/peacekeeping/PeaceRes.gf | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/examples/peacekeeping/PeaceRes.gf b/examples/peacekeeping/PeaceRes.gf deleted file mode 100644 index 52d77ce3b..000000000 --- a/examples/peacekeeping/PeaceRes.gf +++ /dev/null @@ -1,11 +0,0 @@ -resource PeaceRes = { - - param Punct = FullStop | QuestMark | ExclMark ; - - 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 |