@misc{indiciaeca85a79bac5b,
  title = {Teaching Simple Constructive Proofs with Haskell Programs},
  author = {Matthew Farrugia-Roberts and Bryn Jeffries and Harald Søndergaard},
  year = {2022},
  doi = {10.4204/eptcs.363.4},
  url = {https://arxiv.org/abs/2208.04699},
  note = {Source identifier: 2208.04699}
}