The caledon package

[Tags:gpl, program]

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
Downloads 1958 total (8 in the last 30 days)
Votes
2 []
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