New top story on Hacker News: Carnap – A formal logic framework for Haskell

Carnap – A formal logic framework for Haskell
10 by ravenical | 2 comments on Hacker News.