From 2b21e7fae764f454200183fdcd7efbed3c647012 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Sat, 24 Apr 2010 11:34:04 +0000
Subject: lrec tutorial examples

---
 examples/lrec-tutorial/Ara.gf | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 examples/lrec-tutorial/Ara.gf

(limited to 'examples/lrec-tutorial/Ara.gf')

diff --git a/examples/lrec-tutorial/Ara.gf b/examples/lrec-tutorial/Ara.gf
new file mode 100644
index 000000000..14fbb2573
--- /dev/null
+++ b/examples/lrec-tutorial/Ara.gf
@@ -0,0 +1,8 @@
+abstract Ara = {
+
+cat S ; V ;
+
+fun ktb_V : V ;
+
+  Tab : V -> S ;
+}
-- 
cgit v1.2.3