issues
search
polarity-lang
/
polarity
A Language with Dependent Data and Codata Types
https://polarity-lang.github.io
Apache License 2.0
57
stars
2
forks
source link
Split Ident
#353
Closed
timsueberkrueb
closed
2 weeks ago