2023-04-17 08:55:09 +02:00
|
|
|
cabal-version: 2.4
|
2023-06-15 18:00:02 +02:00
|
|
|
name: typed-lambda
|
2023-04-17 08:55:09 +02:00
|
|
|
version: 0.1.0.0
|
|
|
|
|
license: MIT
|
|
|
|
|
author: Leon Vatthauer
|
|
|
|
|
category: Education
|
|
|
|
|
extra-source-files:
|
|
|
|
|
LICENSE
|
|
|
|
|
README.md
|
|
|
|
|
|
|
|
|
|
common shared
|
|
|
|
|
build-depends:
|
|
|
|
|
, base >=4.13.0.0 && <4.18.0.0.0
|
|
|
|
|
, containers >=0.5.9.1.0
|
|
|
|
|
, extra >=1.7
|
|
|
|
|
, mtl >=2.1.0 && <2.3
|
|
|
|
|
, parsec >=3.1.15.0
|
|
|
|
|
, haskeline >=0.8.0.0
|
|
|
|
|
|
|
|
|
|
default-extensions:
|
|
|
|
|
ImportQualifiedPost
|
|
|
|
|
InstanceSigs
|
|
|
|
|
|
|
|
|
|
hs-source-dirs: src
|
|
|
|
|
default-language: Haskell2010
|
|
|
|
|
|
|
|
|
|
executable lambda
|
|
|
|
|
import: shared
|
|
|
|
|
main-is: Main.hs
|
|
|
|
|
other-modules:
|
2023-06-15 18:00:02 +02:00
|
|
|
Parsing.Lexer
|
|
|
|
|
Parsing.Parser
|
|
|
|
|
Interpretation.Reduction
|
|
|
|
|
Interpretation.Repl
|
|
|
|
|
Language.Terms
|
|
|
|
|
Language.Types
|
|
|
|
|
Language.Declarations
|
|
|
|
|
Language.Immediate
|
|
|
|
|
Typechecking.Unification
|
|
|
|
|
Typechecking.TypeInference
|
|
|
|
|
Compilation.Lift
|
|
|
|
|
Compilation.Compiler
|
