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

Simplify testsuite driver #313

Closed BinderDavid closed 2 months ago

BinderDavid commented 2 months ago

Small simplification: We don't have to handle the lookup tables since the driver takes care of that.