search

owo-lang / OwO

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

Parse Pi Types (Telescope) #34

Closed ice1000 closed 5 years ago

ice1000 commented 5 years ago

And implicit arguments, instance arguments, etc.