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