README.md

OwO

The compiler of the OwO programming language. WIP. There is an unfinished Haskell version left abandoned.

OwO is inspired mainly by Agda, MLPolyR and Haskell. It's a functional programming language and a proof assistant.

• Website (WIP) repo

How to pronouns OwO

/'əʊwəʊ/

License

Apache-2.0

  ___            ___
 / _ \          / _ \
| | | |_      _| | | |
| | | \ \ /\ / / | | |
| |_| |\ V  V /| |_| |
 \___/  \_/\_/  \___/
    (What's this?)