e5f3a53bcc
Implemented evaluation of tree calculus terms alongside referentially transparent variable identifiers. Implemented evaluation of defined functions into tree calculus.
58 lines
1.1 KiB
Plaintext
58 lines
1.1 KiB
Plaintext
cabal-version: 1.12
|
|
|
|
name: sapling
|
|
version: 0.1.0
|
|
description: Tree Calculus experiment repository
|
|
author: James Eversole
|
|
maintainer: james@eversole.co
|
|
copyright: James Eversole
|
|
license: ISC
|
|
license-file: LICENSE
|
|
build-type: Simple
|
|
extra-source-files:
|
|
README.md
|
|
|
|
executable sapling
|
|
main-is: Main.hs
|
|
hs-source-dirs:
|
|
src
|
|
default-extensions:
|
|
ConstraintKinds
|
|
DeriveGeneric
|
|
FlexibleContexts
|
|
FlexibleInstances
|
|
GeneralizedNewtypeDeriving
|
|
OverloadedStrings
|
|
ScopedTypeVariables
|
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N -optl-pthread -fPIC
|
|
build-depends:
|
|
base >=4.7
|
|
, containers
|
|
, megaparsec
|
|
, mtl
|
|
other-modules:
|
|
Eval
|
|
Lexer
|
|
Parser
|
|
Research
|
|
default-language: Haskell2010
|
|
|
|
test-suite sapling-tests
|
|
type: exitcode-stdio-1.0
|
|
main-is: Spec.hs
|
|
hs-source-dirs: test, src
|
|
build-depends:
|
|
base
|
|
, containers
|
|
, megaparsec
|
|
, mtl
|
|
, tasty
|
|
, tasty-hunit
|
|
, tasty-quickcheck
|
|
default-language: Haskell2010
|
|
other-modules:
|
|
Eval
|
|
Lexer
|
|
Parser
|
|
Research
|