lrec tutorial examples

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

View File

@@ -0,0 +1,8 @@
interface LexFace = open Syntax in {
oper
like_V2 : V2 ;
invitation_N : N ;
friend_N : N ;
}