Archive of category 'dependent lenses'

• Apr 8, 2024 • software engineering, dependent lenses, parsing, compiler

  Modular Error Reporting with Dependent Lenses