github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-23 08:27:56 +03:00
Code Issues Projects Releases Wiki Activity
6fb75b78b7
semantic/semantic-analysis
History
Rob Rix 8dfe2f302c
Bump fused-effects-readline to 0.1.
2020-07-13 11:43:35 -04:00
..
src Update semantic-analysis for fused-effects 1.1. 2020-07-03 12:42:56 -04:00
BUILD.bazel Merge branch 'bazel-experiments' into distributive-algebras 2020-07-06 09:49:47 -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 Bump fused-effects-readline to 0.1. 2020-07-13 11:43:35 -04:00
Setup.hs Stub in a package for analysis. 2019-10-11 12:42:49 -04:00

README.md

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:

cabal v2-build # build the library
cabal v2-repl  # load the package into ghci
cabal v2-test  # build and run the doctests