owo-lang / OwO

Placeholder for the OwO compiler

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

  • Website (WIP) repo

How to pronouns OwO

/'əʊwəʊ/

License

Apache-2.0

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

About

Placeholder for the OwO compiler

License:Apache License 2.0


Languages

Language:Rust 100.0%