Open anton-trunov opened 1 month ago
For instance, tact --check-expr '-1 / (2 << 1 + 1)' should infer the type Int
tact --check-expr '-1 / (2 << 1 + 1)'
Int
For instance,
tact --check-expr '-1 / (2 << 1 + 1)'should infer the typeInt