Added Eclipse contents
This commit is contained in:
1 parent
83533afd5f
commit
d9f7697f7a
27 files changed
+166
No files matched your search
@@ -0,0 +1,12 @@
|
||||
abstract HelloAbs = AbsCat [Greeting, Recipient] ** {
|
||||
|
||||
flags startcat = Greeting ;
|
||||
|
||||
cat Farewell ;
|
||||
|
||||
fun
|
||||
Hello : Recipient -> Greeting ;
|
||||
Goodbye : Recipient -> Farewell ;
|
||||
World, Parent, Friends : Recipient ;
|
||||
|
||||
}
|
||||
Reference in new issue
Block a user