new tutorial example

2005-12-18 21:26:21 +00:00
parent a205829623
commit 6398140d0a
34 changed files with 940 additions and 668 deletions
@@ -0,0 +1,4 @@
+abstract Mushroom = {
+    cat Mushroom ;
+    fun Cep, Agaric : Mushroom ;
+}