name: cubical version: 0.1.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 license: MIT license-file: LICENSE author: Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg maintainer: mortberg@chalmers.se -- copyright: category: Dependent Types build-type: Custom -- extra-source-files: cabal-version: >=1.10 executable cubical main-is: Main.hs other-modules: Exp.Lex, Exp.Par other-extensions: TupleSections, 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.6 -- hs-source-dirs: build-tools: alex, happy default-language: Haskell2010 hs-source-dirs: . other-modules: CTT, Concrete, Eval, MTT, MTTtoCTT, Pretty