Cybercat Institute
About
Projects
People
Blog
Contact us
Archive of category 'dependent lenses'
Apr 8, 2024 •
software engineering
,
dependent lenses
,
parsing
,
compiler
Modular Error Reporting with Dependent Lenses