KiCS-prophecy: a transformation used by the kics debugger
This package contains a transformation of the debugger for the Curry to Haskell compiler "kics".
Versions [faq] | 0.1.0, 0.1.1 |
---|---|
Dependencies | base (==4.1.*), filepath, KiCS (>=0.9.1) [details] |
License | LicenseRef-OtherLicense |
Author | Bernd Braßel |
Maintainer | Bernd Braßel |
Category | Debug |
Home page | http://curry-language.org |
Uploaded | by BerndBrassel at 2009-10-23T19:22:04Z |
Distributions | NixOS:0.1.1 |
Executables | prophecy |
Downloads | 1896 total (7 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2016-10-25 [all 9 reports] |
Modules
- Curry
- Files
- Curry.Files.ProphecyPath
- Module
- Curry.Module.CEventOracle
- Curry.Module.LiftCases
- Curry.Module.Make
- Curry.Module.Oracle
- Files
Downloads
- KiCS-prophecy-0.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)