The old single-dispatch optionally-typed flavor of the Magpie programming language. - View it on GitHub