Teaching Functional Programmers Logic and Metatheory

Frederik Krogsdal Jacobsen, Jørgen Villadsen

We present a novel approach for teaching logic and the metatheory of logic to students who have some experience with functional programming. We define concepts in logic as a series…