Prototype, extremely bad code implementation of CCHM Cubical Type Theory
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 

34 lines
1.0 KiB

name: indexed
version: 0.1.0.0
-- synopsis:
-- description:
homepage: https://github.com/plt-hokusai/indexed#readme
license: BSD3
license-file: LICENSE
author: Abigail Magalhães
maintainer: magalhaes.alcantara@pucpr.edu.br
copyright: 2021 Abigail Magalhães
category: Web
build-type: Simple
cabal-version: >=1.10
extra-source-files: README.md
executable indexed
hs-source-dirs: src
main-is: Main.hs
default-language: Haskell2010
build-depends: base >= 4.7 && < 5
, mtl
, text
, haskeline
, exceptions
, containers
, megaparsec
other-modules: Syntax
, Eval
, Elab
, Systems
, Presyntax
, Presyntax.Parser
, Presyntax.Lexer