lazear opened this issue 5 years ago · 0 comments
iszero (succ 0) is being parsed as (iszero succ) 0
iszero (succ 0)
(iszero succ) 0