Carnap – A formal logic framework for Haskell

https://carnap.io/

#HackerNews #Carnap #Haskell #formalLogic #programming #language #innovation