nponeccop/HNC

Inline simple aliases

Closed this issue · 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