Solving Logic Puzzles with Dependently Typed Functional Programming

Agda is a dependently typed functional programming language and a proof assistant. Agda uses the Programs as Proof paradigm in which…