Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 

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