Carnap – A formal logic framework for Haskell(carnap.io)97 points by ravenical 10 months ago | 20 comments