Duo is research language focused on the combination of subtyping, type inference and type-theoretic dualities.
Duo is a research project which is currently under active development. A lot of stuff isn't fully implemented yet, so beware of this before you try it out yourself!
The documentation of the Duo language is hosted here: Duo Documentation