Type inference doesn't work for simple cases #2
Description
While type inference works for factorial, this code without types fails:
(= (foo $x) (+ $x 2))
{{ message }}
While type inference works for factorial, this code without types fails:
(= (foo $x) (+ $x 2))