search

compiling-to-categories / concat

Compiling to Categories
http://conal.net/papers/compiling-to-categories
BSD 3-Clause "New" or "Revised" License
431 stars 49 forks source link

Collect in-scope evidence for dictionary constructions. #65

Closed mikesperber closed 3 years ago

mikesperber commented 3 years ago

... instead of getting it from inScope, which has a superset of evidence, leading to unbound variables.

conal commented 3 years ago

Thanks a ton for this contribution!