Just a fork for my bachelor thesis in order not to break the original repo :D
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