The caledon package

[ Tags: 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.

Properties

Versions 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
Author Matthew Mirman
Maintainer Matthew Mirman <mmirman@andrew.cmu.edu>
Category Language, Interpreter
Home page https://github.com/mmirman/caledon
Source repository head: git clone git://github.com/mmirman/caledon.git
Uploaded Wed Jul 6 11:21:35 UTC 2016 by MatthewMirman
Distributions NixOS:3.2.2.0
Executables caledon
Downloads 2030 total (13 in the last 30 days)
Rating 2.25 (2 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2016-11-04 [all 3 reports]
Hackage Matrix CI

Downloads

Maintainer's Corner

For package maintainers and hackage trustees