Added Eclipse contents

2026-07-05 05:12:45 -06:00 · 2011-10-17 16:01:07 +00:00
parent 96547fd26f
commit 8854cb943a
27 changed files with 166 additions and 0 deletions
@@ -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 ;
+
+}