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

Reimplement multi module lowering (4/n) #307

Closed BinderDavid closed 1 week ago

BinderDavid commented 1 week ago

Introduces the new type ModuleLookupTable which contains information about all the symbols declared in one specific module.

The semantics is currently: