1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 23:11:50 +03:00
semantic/semantic-analysis
2019-10-11 14:38:00 -04:00
..
src Use pathtype instead of directory & filepath to set up the readline effect. 2019-10-11 14:37:29 -04:00
LICENSE Stub in a package for analysis. 2019-10-11 12:42:49 -04:00
README.md Stub in a package for analysis. 2019-10-11 12:42:49 -04:00
semantic-analysis.cabal 🔥 the redundant dependencies on directory & filepath. 2019-10-11 14:38:00 -04:00
Setup.hs Stub in a package for analysis. 2019-10-11 12:42:49 -04:00

semantic-analysis

Program analysis by abstract definitional interpretation.

Development

This project consists of a Haskell package named semantic-analysis. The librarys 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