Closed this issue 10 years ago · 1 comments
hn_tests/opt/isDigit.hn:
isDigit c = { lt c d = less c d _not (_or (_not (_not (lt 48 c))) (_not (lt c 58))) }
lt is equivalent to less so it can be substituted everywhere
Duplicate of #51