Lambda calculus in the rust type system


In case anyone is still wondering about the decidability of the rust type system, here’s the untyped lambda calculus. Constructing an expression should be easy enough to do for people to grab code off of the 'net, like I did for the church encoding example.

Have fun!
My gist