Skip to content

shayan-najd/QFeldspar

Repository files navigation

QFeldspar, an experimental QDSL front-end for Feldspar

To be able to load project files in GHCi:

  • execute "setpermissions", or set the access permissions right so ghci loads the local .ghci files, or copy the customized GHCi configuartion file ".ghci" to the your home directory

To get started with some examples:

  • refer to the folder "Examples"

To redo the experiment:

  • execute "runexperiment"

To compile the project:

  • use "cabal install"

To load the project in Docker:

  • execute "rundocker"

About

QFeldspar: a QDSL front-end for MiniFeldspar

Resources

License

Stars

Watchers

Forks

Packages

No packages published