Skip to content

Latest commit

 

History

History
 
 

semantic-core

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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 v2-build:

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