@misc{indiciae4b46bb989f8b,
  title = {Implementing Dependent Types in pi-forall},
  author = {Stephanie Weirich},
  year = {2023},
  url = {https://arxiv.org/abs/2207.02129},
  note = {Source identifier: 2207.02129}
}