| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
CMDL
Description
Hets shell (command interpreter, call it with hets -I) that makes Hets scriptable
| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
CMDL
Description
Hets shell (command interpreter, call it with hets -I) that makes Hets scriptable