@misc{indiciae40ea147af481,
  title = {GATlab: Modeling and Programming with Generalized Algebraic Theories},
  author = {Owen Lynch and Kris Brown and James Fairbanks and Evan Patterson},
  year = {2024},
  doi = {10.46298/entics.14666},
  url = {https://arxiv.org/abs/2404.04837},
  note = {Source identifier: 2404.04837}
}