@hackage caledon3.2.2.0

a logic programming language based on the calculus of constructions

Categories
- Language
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

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

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

@hackage caledon3.2.2.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)