@Inproceedings{EPTCS363.4, author = {Farrugia-Roberts, Matthew and Jeffries, Bryn and S{\o}ndergaard, Harald}, year = {2022}, title = {Teaching Simple Constructive Proofs with Haskell Programs}, editor = {Achten, Peter and Machkasova, Elena}, booktitle = {{\rm Proceedings Tenth and Eleventh International Workshop on} Trends in Functional Programming In Education, {\rm Krak\'ow, Poland (online), 16th February 2021/16th March 2022}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {363}, publisher = {Open Publishing Association}, pages = {54-73}, doi = {10.4204/EPTCS.363.4}, }