Added peacekeeping example back in. Doesn't compile yet.

This commit is contained in:
bjorn
2008-08-15 20:21:12 +00:00
parent 65a25ad181
commit 0f51f5187c
35 changed files with 785 additions and 0 deletions

View File

@@ -0,0 +1,11 @@
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 } ;
}