search

polarity-lang / polarity

A Language with Dependent Data and Codata Types
https://polarity-lang.github.io
Apache License 2.0
50 stars 0 forks source link

Parse and prettyprint use declarations #287

Closed BinderDavid closed 2 weeks ago

BinderDavid commented 2 weeks ago

I slightly changed the cst representation that you chose, and made the ast definition of modules consistent with that. It should not be too hard to rebase #283 on top of this PR.