mirror of
https://github.com/github/semantic.git
synced 2024-12-23 23:11:50 +03:00
19 lines
503 B
Markdown
19 lines
503 B
Markdown
# semantic-analysis
|
||
|
||
Program analysis by abstract definitional interpretation.
|
||
|
||
|
||
## Development
|
||
|
||
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`:
|
||
|
||
```shell
|
||
cabal v2-build # build the library
|
||
cabal v2-repl # load the package into ghci
|
||
cabal v2-test # build and run the doctests
|
||
```
|
||
|
||
[`src`]: https://github.com/github/semantic/tree/master/semantic-analysis/src
|