Refactor type info table - Githubissues

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

Refactor type info table #311

Closed BinderDavid closed 1 week ago