Humaid AlQassimi

My ML snippets for Foundations 1

These snippets are additions to the data-files.sml program provided by the professor.

2019 Class Test Paper

These are functions listed on the 2019-2020 class test paper.

val fk = (LAM("xy",vx)); (* (λxy,x) *)
val fs = (LAM("xyz", (APP(APP(vx,vz), APP(vy,vz)))));    (* (λxyz.xz(yz)) *)
val fi = (LAM("x",vx)); (* identity function (λx.x), similar to t1 *)
val fb = (LAM("xy",(APP(vy, (APP(APP(vx,vx),vy)))))); (* (λxy.y(xxy)) *)
val fc = (APP(fb,fb)); (* BB as in fb(fb) *)
val fomega = (APP(LAM("z", (APP(vz,vz))), LAM("z", (APP(vz,vz))))); (* omega *)

val fm = (APP(APP(APP(APP(fs,fk), fomega), fi), vx)); (* Application for M *)