caledon

Version 3.2.2.0 revision 0 uploaded by MatthewMirman.

Package meta

Synopsis
a logic programming language based on the calculus of constructions
Description

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

Author
Matthew Mirman
Bug reports
n/a
Category
Language, Interpreter
Copyright
n/a
Homepage
https://github.com/mmirman/caledon
Maintainer
Matthew Mirman <mmirman@andrew.cmu.edu>
Package URL
n/a
Stability
n/a

Components