search

owo-lang / OwO

Placeholder for the OwO compiler
Apache License 2.0
59 stars 1 forks source link
compiler dependent-types programming-language proof-assistant

readme

OwO

CircleCI AppVeyor Join the chat at https://gitter.im/owo-rfcs/Lobby

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.

How to pronouns OwO

/'əʊwəʊ/

License

Apache-2.0

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