@misc{indiciaef963e0e601b0,
  title = {typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell},
  author = {Nikolai Kudasov and Artem Starikov},
  year = {2024},
  url = {https://arxiv.org/abs/2408.03170},
  note = {Source identifier: 2408.03170}
}