owo-lang.github.io

Work In Progress.

For feature request/discussions, goto https://github.com/owo-lang/rfcs

Subprojects

We do experiments, in steps.

• Stage zero, minitt, minimal DT
• Stage one, voile, added non-dependent row-polymorphism to DT

We dig through the history, trying to find something interesting but forgotten. We refactor the projects to fit state-of-the-art compilers and make IDE (IntelliJ plugin) for them.

• A revived Mini-TT
• A revived MLPolyR

Some boring FAQs

Why another Programming Language?

LOL. The basic reasons can be found in the rfcs repo.