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>
Stability Unknown
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 1705 total (26 in the last 30 days)
Votes
2 []
Status Docs pending
Build status unknown [no reports yet]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees