KiCS-prophecy: a transformation used by the kics debugger
This package contains a transformation of the debugger for the Curry to Haskell compiler "kics".
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)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0, 0.1.1 |
|---|---|
| Dependencies | base (>=4.1 && <4.2), 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 | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | prophecy |
| Downloads | 2250 total (8 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] |