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

Fix lookup functions #368

Closed timsueberkrueb closed 1 week ago

timsueberkrueb commented 1 week ago

Make lookup functions use the URIs attached to bound identifiers. Fixes #334.