-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathLambda-Calculus.cabal
23 lines (21 loc) · 998 Bytes
/
Lambda-Calculus.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
cabal-version: 2.4
name: Lambda-Calculus
synopsis: A tool for generating untyped lambda calculus
description: Iocularia is an untyped language that allows for mutual
recursion, and can be converted to De Brujin leveled
lambda calculus and be reduced by this tool.
version: 0.1.0.0
license: Apache-2.0
license-file: LICENSE
author: TrueBoxGuy
maintainer: [email protected]
category: Math
extra-source-files: CHANGELOG.md, README.md
data-dir: data
executable Lambda-Calculus
main-is: Main.hs
other-modules: Lambda.Lambda, Lambda.Combinators, Lambda.Parser, Parsers
Transpiler.Conversion, Transpiler.Parser, Transpiler.Scope
build-depends: base ^>=4.12.0.0, megaparsec ^>= 7.0.5, mtl ^>= 2.2.2, parser-combinators ^>= 1.0.2
hs-source-dirs: src
default-language: Haskell2010