@hackage caledon2.0.0.0

a logic programming language based on the calculus of constructions

Categories
License
GPL-3.0-only
Maintainer
Matthew Mirman <mmirman@andrew.cmu.edu>
Links
Versions
- 3.2.2.0 Wed, 6 Jul 2016
- 3.2.1.0 Mon, 25 Mar 2013
- 3.2.0.0 Sat, 23 Mar 2013
- 3.1.0.0 Sat, 23 Mar 2013
- 3.0.0.0 Wed, 20 Mar 2013
- 2.1.1.0 Fri, 8 Mar 2013

Installation
In your cabal file:
Dependencies (0)
- base >=4.0 && <5.0
- containers >=0.4 && <1.0
- mtl >=2.0 && <3.0
- parsec >=3.0 && <4.0
- transformers >=0.3 && <1.0
Dependents (1)
@hackage/acme-everything

a dependently typed, polymorphic, higher order logic programming language based on the calculus of constructions designed for easier metaprogramming capabilities.

@hackage caledon2.0.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)