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), 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
UploadedFri Mar 8 01:35:18 UTC 2013 by MatthewMirman
DistributionsNixOS:3.2.1.0
Downloads1202 total (71 in last 30 days)
StatusDocs not available [build log]
Successful builds reported [all 2 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees