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

Versions0.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
Change logNone available
Dependenciesbase (>=4.0 && <5.0), containers (>=0.4 && <1.0), cpphs (>=1.0 && <2.0), lens (>=3.0 && <4.0), mtl (>=2.0 && <3.0), parsec (>=3.0 && <4.0), transformers (>=0.3 && <1.0)
LicenseGPL-3
AuthorMatthew Mirman
MaintainerMatthew Mirman <mmirman@andrew.cmu.edu>
CategoryLanguage, Interpreter
Home pagehttps://github.com/mmirman/caledon
Source repositoryhead: git clone git://github.com/mmirman/caledon.git
Executablescaledon
UploadedMon Mar 25 15:37:08 UTC 2013 by MatthewMirman
DistributionsNixOS:3.2.1.0
Downloads1202 total (72 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-05-18 [all 2 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees