C carnap.io Carnap – A formal logic framework for Haskell 114 points ravenical 10 months ago 20 comments