caledon: a logic programming language based on the calculus of constructions
a dependently typed, polymorphic, higher order logic programming language based on the calculus of constructions designed for easier metaprogramming capabilities.
Downloads
- caledon-3.2.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.0.0.0, 2.0.0.0, 2.1.0.0, 2.1.1.0, 3.0.0.0, 3.1.0.0, 3.2.0.0, 3.2.1.0, 3.2.2.0 |
|---|---|
| Dependencies | base (>=4.0 && <5.0), containers (>=0.4 && <1.0), cpphs (>=1.0 && <2.0), lens (>=3.0), mtl (>=2.0 && <3.0), parsec (>=3.0 && <4.0), transformers (>=0.3 && <1.0) [details] |
| License | GPL-3.0-only |
| Author | Matthew Mirman |
| Maintainer | Matthew Mirman <mmirman@andrew.cmu.edu> |
| Category | Language, Interpreter |
| Home page | https://github.com/mmirman/caledon |
| Source repo | head: git clone git://github.com/mmirman/caledon.git |
| Uploaded | by MatthewMirman at 2016-07-06T11:21:35Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | caledon |
| Downloads | 7278 total (20 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] Last success reported on 2016-11-04 [all 3 reports] |