Changeset 12 for sizechecking/Lambda.hs

Timestamp:

Nov 15, 2012, 12:44:36 AM (13 years ago)

Author:

gobi

Message:

code cleanup

File:

• sizechecking/Lambda.hs (modified) (1 diff)

sizechecking/Lambda.hs

@@ -219 +219 @@
 dupfst = AAbs 19 5 $ List (Op (Num 1) '+' (Var 19)) $ Shift (Var 5) (Op (Var 19) '-' (Num 1)) 
     $ Abs 8 $ App (Var 5) (Op (Var 19) '-' (Num 1))
-y = Abs 18 $ App (Abs 22 $ App (Var 18) (App (Var 22) (Var 22))) (Abs 22 $ App (Var 18) (App (Var 22) (Var 22)))
+yComb = Abs 18 $ App (Abs 22 $ App (Var 18) (App (Var 22) (Var 22))) (Abs 22 $ App (Var 18) (App (Var 22) (Var 22)))
 -- Λs,g.List s (λi.(λx.Λt,f.List (1+t) (Shift f (t-1) x)) U (g i))
 reverses = AAbs 18 5 $ List (Var 18) (Abs 8 $ App (Var 5) $ Op (Op (Var 18) '-' (Num 1)) '-' (Var 8) )