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
/'əʊwəʊ/
Apache-2.0
___ ___
/ _ \ / _ \
| | | |_ _| | | |
| | | \ \ /\ / / | | |
| |_| |\ V V /| |_| |
\___/ \_/\_/ \___/
(What's this?)