cleaned up new GFCC, but added RP as deprecated

This commit is contained in:
aarne
2007-10-05 09:02:47 +00:00
parent cc104236df
commit 945a49214b
10 changed files with 244 additions and 226 deletions

View File

@@ -53,7 +53,10 @@ wildCId :: CId
wildCId = CId "_"
exp0 :: Exp
exp0 = Tr (AM 0) []
exp0 = tree (AM 0) []
primNotion :: Exp
primNotion = EEq []
term0 :: CId -> Term
term0 _ = TM