Add syntactic sugar « let rec f (x : Int) (y : Int) : Int = » equivalent to « let rec f : Int -> Int -> Int = λ (x : Int) (y : Int) -> »
Add syntactic sugar « let rec f (x : Int) (y : Int) : Int = » equivalent to « let rec f : Int -> Int -> Int = λ (x : Int) (y : Int) -> »

jpdeplaix/cervoise,jpdeplaix/cervoise