Program analysis by abstract definitional interpretation.
This project consists of a Haskell package named semantic-analysis. The library’s sources are in src.
Development of semantic-analysis is typically done using cabal v2-build:
cabal v2-build # build the library
cabal v2-repl # load the package into ghci
cabal v2-test # build and run the doctests