arithmetic-typing 0.3.0

Hindley-Milner type inference for arithmetic expressions.
Documentation