@hackage / caledon

a logic programming language based on the calculus of constructions

Latest3.2.2.0

About

Metadata

  • Last updated , by MatthewMirman
  • License GPL-3.0-only

  • Maintained by: Matthew Mirman <mmirman@andrew.cmu.edu>

  • Lottery factor: 0

Links

Installation

Readme

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