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
Use Telegram? A bunch of us are hanging out there	1	509	October 12, 2022
Reviving "Typing Haskell in Haskell" Announcements	4	1227	June 11, 2025
[Blog] Haskell as a Software Development Language Links	0	471	February 1, 2022
ZuriHac 2025 Trip Report Links	8	588	June 23, 2025
The Haskell Unfolder Episode 42: logic programming with typedKanren Links	2	285	April 19, 2025