Name: caledon Version: 3.2.2.0 Description: a dependently typed, polymorphic, higher order logic programming language based on the calculus of constructions designed for easier metaprogramming capabilities. Synopsis: a logic programming language based on the calculus of constructions Homepage: https://github.com/mmirman/caledon License: GPL-3 License-file: LICENSE Author: Matthew Mirman Maintainer: Matthew Mirman Category: Language, Interpreter Build-type: Simple Cabal-version: >= 1.6 Source-repository head Type: git Location: git://github.com/mmirman/caledon.git executable caledon main-is: Main.hs other-modules: HOU, Choice, Parser, AST, TopoSortAxioms, Context, Options, Substitution Build-depends: base >= 4.0 && < 5.0, mtl >= 2.0 && < 3.0, parsec >= 3.0 && < 4.0, containers >= 0.4 && < 1.0, transformers >= 0.3 && < 1.0, cpphs >= 1.0 && < 2.0, lens >= 3.0 Extensions: FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, RecordWildCards, BangPatterns, TypeSynonymInstances, TemplateHaskell ghc-options: -O2 -optc-O3 -funfolding-use-threshold=16 -fspec-constr-count=10 -fdo-lambda-eta-expansion