About Carnap: Mississippi State

Carnap is named for the philosopher, Rudolf Carnap (1891 – 1970).

Carnap is a free and open-source Haskell framework for creating and exploring formal languages, logics, and semantics. Carnap: Mississippi State is a version of carnap.io . The source files are in this GitHub repository .