search

owo-lang / OwO

Placeholder for the OwO compiler
Apache License 2.0
59 stars 1 forks source link

Fool Alex to support UnicodeSyntax #29

Closed ice1000 closed 5 years ago

ice1000 commented 5 years ago

Just as Agda's little trick.