Fakultas Ilmu Komputer UI

Skip to content
Snippets Groups Projects
Select Git revision
  • 0e5d2f7dabc9bd0b162bfc483a2a3247721eafb9
  • master default protected
  • v2.0.0
  • v1.1.1
  • v1.1.0
  • v1.0.0
6 results

package.yaml

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    package.yaml 1.40 KiB
    name: lambda-calculator
    version: '2.0.0'
    synopsis: A lambda calculus interpreter
    description: Please see README.md
    category: LambdaCalculus,Language,Teaching
    author: Sean D Gillespie
    maintainer: sean@mistersg.net
    copyright: 2016 Sean Gillespie
    license: MIT
    github: sgillespie/lambda-calculus
    
    dependencies:
      - base >= 4.9 && < 5
    
    library:
      source-dirs: src
      exposed-modules:
        - Language.Lambda
        - Language.Lambda.Expression
        - Language.Lambda.Eval
        - Language.Lambda.Parser
        - Language.Lambda.Util.PrettyPrint
        - Language.SystemF
        - Language.SystemF.Expression
        - Language.SystemF.Parser
        - Language.SystemF.TypeCheck
      dependencies:
        - containers
        - parsec
      
    executables:
      lambda-calculator:
        main: Main.hs
        source-dirs: app
        ghc-options:
          - -threaded
          - -rtsopts
          - -with-rtsopts=-N
        dependencies:
          - containers
          - lambda-calculator
          - optparse-applicative >=0.13
          - Shellac
          - Shellac-haskeline
        
    tests:
      lambda-calculus-test:
        main: Spec.hs
        source-dirs: test
        ghc-options:
          - -threaded
          - -rtsopts
          - -with-rtsopts=-N
        dependencies:
          - lambda-calculator
          - containers
          - hspec
          - HUnit
          
      lambda-calculus-lint:
        main: HLint.hs
        source-dirs: scripts
        other-modules: []
        ghc-options:
          - -threaded
          - -rtsopts
          - -with-rtsopts=-N
        dependencies:
          - hlint