Carnap is a free and open software framework written in Haskell for teaching and studying formal logic.