This project is deprecated, please head to the Rust implementation.

OwO

The compiler of the OwO programming language. WIP.

OwO is inspired by Agda, Idris, Haskell and many other nice programming languages. It's a functional programming language and a proof assistant.

• Development guido: HACKING
• Website (WIP) repo

How to pronouns OwO

/'əʊwəʊ/

License

Apache-2.0

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