cubical.cabal

name:                cubical
-- Same version as in Main.hs?
version:             0.2.0
synopsis:            Implementation of Univalence in Cubical Sets
description:         Cubical implements an experimental simple type
                     checker for type theory with univalence with an
                     evaluator for closed terms.
homepage:            https://github.com/simhu/cubical
extra-source-files:  Makefile, README.md, Exp.cf, examples/*.cub, cubical.el
license:             MIT
license-file:        LICENSE
author:              Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
maintainer:          mortberg@chalmers.se
category:            Dependent Types
build-type:          Custom
cabal-version:       >=1.10

executable cubical
  main-is:             Main.hs
  other-modules:       Exp.Lex, Exp.Par
  other-extensions:    TupleSections, ParallelListComp, CPP, MagicHash
  build-depends:       base >= 4.5 && < 5, transformers >= 0.3, mtl >= 2.1,
                       haskeline >= 0.7, directory >= 1.2, array >= 0.4,
                       BNFC >= 2.5, filepath >= 1.3
  build-tools:         alex, happy
  default-language:    Haskell98
  hs-source-dirs:      .
  other-modules:       CTT, Concrete, Eval, Pretty, TypeChecker