Carnap – A formal logic framework for Haskell

(carnap.io) by ravenical | Dec 23, 2025 | 0 comments on HN