Haskell on Lars Husted Vadgaardhttps://husted.io/tags/haskell/Recent content in Haskell on Lars Husted VadgaardHugoen-us2023 - 2026 Lars Husted VadgaardSat, 30 May 2026 00:00:00 +0000Natural Deduction in Haskell Using the Curry-Howard Correspondencehttps://husted.io/archive/curry-howard/Sat, 30 May 2026 00:00:00 +0000https://husted.io/archive/curry-howard/Brief writeup on how to utilize the Curry-Howard correspondence to check natural deduction proofs encoded in Haskell at compile-time. {{< happy-kaomoji >}}Sequent: A Fitch-Style First-Order Logic Proof Languagehttps://husted.io/archive/sequent/Thu, 21 May 2026 00:00:00 +0000https://husted.io/archive/sequent/A walkthrough of my small proof language and web app for teaching Fitch-style natural deduction, with custom rules, proof rendering, and clickable diagnostics.