Name: caledon

Version: 2.1.1.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 <mmirman@andrew.cmu.edu>

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

  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

  Extensions: FlexibleContexts,
              FlexibleInstances,
              MultiParamTypeClasses,
              RecordWildCards,
              BangPatterns,
              TypeSynonymInstances
              
  ghc-options:  -O2 -optc-O3 -funfolding-use-threshold=16 -fspec-constr-count=10 -fdo-lambda-eta-expansion