Teaching Simple Constructive Proofs with Haskell Programs

Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard

In recent years we have explored using Haskell alongside a traditional mathematical formalism in our large-enrolment university course on topics including logic and formal language…