arithmetic-typing (cargo): Hindley-Milner type inference for arithmetic expressions.
Keywords: language|scripting|typing|arithmetic|type-system|arithmetic-parser|interpreter