a type theory with equality based on setoids
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.
|
name: setoid
|
|
version: 0.1.0.0
|
|
-- synopsis:
|
|
-- description:
|
|
homepage: https://github.com/plt-hokusai/setoid#readme
|
|
license: BSD3
|
|
license-file: LICENSE
|
|
author: Abigail Magalhães
|
|
maintainer: [email protected]
|
|
copyright: 2020 Abigail Magalhães
|
|
category: Web
|
|
build-type: Simple
|
|
cabal-version: >=1.10
|
|
extra-source-files: README.md
|
|
|
|
executable setoid
|
|
hs-source-dirs: src
|
|
main-is: Main.hs
|
|
default-language: Haskell2010
|
|
build-depends: mtl
|
|
, syb
|
|
, base
|
|
, text
|
|
, ghc-prim
|
|
, containers
|
|
, unordered-containers
|
|
|
|
other-modules: Syntax
|
|
, Syntax.Pretty
|
|
, Presyntax
|
|
, Evaluate
|
|
, Elaboration
|
|
, Value
|
|
, Presyntax.Lexer
|
|
, Presyntax.Parser
|
|
, Elaboration.Monad
|