samekah / lambda-calculus-and-the-krivine-abstract-machine Goto Github PK
View Code? Open in Web Editor NEWCoursework for a second year Functional Programming module where we were tasked with implementing Lambda-Calculus and a Krivine Abstract Machine in Haskell