Carnap – A formal logic framework for Haskell
https://carnap.io/
#HackerNews #Carnap #Haskell #formalLogic #programming #language #innovation