github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity
200c3edf77
semantic/semantic-core
History
Rob Rix 200c3edf77
Evaluate doubly-annotated terms.
2019-10-10 13:30:01 -04:00
..
src Evaluate doubly-annotated terms. 2019-10-10 13:30:01 -04:00
test Make Data.Name.Name a newtype rather than a synonym. 2019-10-07 17:45:53 -04:00
LICENSE Copy in the semantic-core sources. 2019-06-03 11:34:15 -04:00
README.md Copy in the semantic-core sources. 2019-06-03 11:34:15 -04:00
semantic-core.cabal Stub in a module for FailWithLoc. 2019-10-07 17:21:23 -04:00
Setup.hs Copy in the semantic-core sources. 2019-06-03 11:34:15 -04:00

README.md

semantic-core

Semantic core intermediate language (experimental)

Development

This project consists of a Haskell package named semantic-core. The library’s sources are in src.

Development of semantic-core is typically done using cabal new-build:

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