Lambda Calculus
Check-in [195efb4c2e]
Not logged in

 ```178 179 180 181 182 183 184 185 186 187 188 189 190 ``` ```testM3 = read nil testM4 = bind (read nil) \x . print x testM5 = bind (read nil) \x . bind (print x) \y . bind (read nil) \z . bind (print z) \q . return 50 testM6 = bind (print one) \x . bind (read nil) \y . print y testM7 = bind (print one) \x . return 3 testM8 = bind (print one) \x . bind (print two) \y . bind (print three) \z . return z testM9 = bind (print hello) \x . bind (read nil) \y . return y #define puts i32 @puts(i8* nocapture) nounwind #define putsl i32 @putsl(i8* nocapture) nounwind ``` ``` > ``` ```178 179 180 181 182 183 184 185 186 187 188 189 190 191 ``` ```testM3 = read nil testM4 = bind (read nil) \x . print x testM5 = bind (read nil) \x . bind (print x) \y . bind (read nil) \z . bind (print z) \q . return 50 testM6 = bind (print one) \x . bind (read nil) \y . print y testM7 = bind (print one) \x . return 3 testM8 = bind (print one) \x . bind (print two) \y . bind (print three) \z . return z testM9 = bind (print hello) \x . bind (read nil) \y . return y testM10 = bind (read nil) \x . bind (bind (read nil) \y . return y) \z . return x #define puts i32 @puts(i8* nocapture) nounwind #define putsl i32 @putsl(i8* nocapture) nounwind ```