search

polarity-lang / polarity

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

Test lifting and xfunc in test suites #114

Closed timsueberkrueb closed 1 month ago

timsueberkrueb commented 1 month ago

@BinderDavid I think we should tackle this with priority.