WebPie Pie

A Slice of Dependent Typing

Code

lambda x:int.lambda y:int. x 3 5

Result