@misc{https://doi.org/10.4121/e74fd14a-da79-4686-97e8-143ac5e0858d.v1,
  doi = {10.4121/e74fd14a-da79-4686-97e8-143ac5e0858d.v1},
  url = {},
  author = {Liesnikov, Bohdan and Cockx, Jesper},
  keywords = {dependent types, elaborators, elaboration, open datatype, extensible datatype, type-checking},
  title = {Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints},
  publisher = {4TU.ResearchData},
  year = {2024},
  copyright = {BSD-3-Clause},
}