caledon: a logic programming language based on the calculus of constructions

[ gpl, interpreter, language, program ] [ Propose Tags ]

a dependently typed, polymorphic, higher order logic programming language based on the calculus of constructions designed for easier metaprogramming capabilities.

Downloads

Maintainer's Corner

Package maintainers

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 7126 total (22 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]