Solving `Passport Application` with Haskell

LaurentRDC June 30, 2025, 2:38pm 1

I enjoyed both the sarcasm and introduction to LogicT

22 Likes

Topic		Replies	Views
Static types for logic programming Links	1	348	August 30, 2024
Symbolic Logic Compatibility	1	311	February 13, 2022
Advent of Code 2020: Haskell Edition Show and Tell	7	1180	January 22, 2021
Call for Sponsors: First-class Liquid Haskell Announcements	7	2734	July 16, 2023
A Seven Lecture Haskell Crash Course where I demonstrate a tictactoe game at the end! Links	0	483	December 4, 2021