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.

Versions [faq] 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 Wed Jul 6 11:21:35 UTC 2016
Distributions NixOS:3.2.2.0
Executables caledon
Downloads 4533 total (120 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
Last success reported on 2016-11-04 [all 3 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees