Church's simple theory of types
# a simple example def fact:Int->Int = \n:Int . if n <= 1 then 1 else n * fact(n-1); eval fact(5);
Evaluate