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 [RSS] [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 | 2025 total (12 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)