Carnap is a free and open software framework written in Haskell for teaching and studying formal logic. Carnap powers logic courses at dozens of colleges and universities around the world
Carnap – A formal logic framework for Haskell
#HackerNews #Carnap #Haskell #formalLogic #programming #language #innovation