lrec tutorial examples

This commit is contained in:
aarne
2010-04-24 11:34:04 +00:00
parent 2f62ab26e6
commit 2b21e7fae7
31 changed files with 871 additions and 0 deletions

View File

@@ -0,0 +1,8 @@
abstract Ara = {
cat S ; V ;
fun ktb_V : V ;
Tab : V -> S ;
}