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

Add initial stdlib #336

Closed timsueberkrueb closed 2 weeks ago

timsueberkrueb commented 1 month ago

Depends on #332.

BinderDavid commented 1 month ago

We still need to fix https://github.com/polarity-lang/polarity/pull/332#issuecomment-2426443995 in the prettyprinter of arguments.