Lambda calculus is awesome! Now, it can even be used in RISCratch. Just enter a lambda function to compile it. The program is currently really buggy, so not all functions work. Here's a lambda that you can copy and paste: λ Examples: λx. null => [pop] λx. x => [] λx. x+1 => [dup 1 + 1 2 swap pop] Not completely optimized, but it works.