Just a basic Lambda Calculus interpreter! :D It's partially broken though, so let me know if you have ideas on how to fix it! :D ((\g.(\x.g(\v.x(x)(v)))(\x.g(\v.x(x)(v))))(\f.\n.(\c.c(\x.\a.\b.b)(\a.\b.a))(n)(\v.(\a.\x.a(x)))(\v.(\m.\a.\b.\x.m(a(b))(x))(n)(v((\a.\b.\x.a(\g.\h.h(g(b)))(\u.x)(\u.u))(n))))(f)))(\f.\x.f(f(f(fx)))) is supposed to give factorial of 4. XD I'm not sure if the issue is due to multiple variables having the same names or the lazy loading, but it's something. XD PLEASE HELP IF YOU KNOW HOW TO HELP!
