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 | 7279 total (2 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] |