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

Add xfunc tests and fix bugs in xfunc #316

Closed timsueberkrueb closed 1 day ago

timsueberkrueb commented 1 day ago

Fixes #114.