haga/lambda
Johannes Merl b42179cfcc fix Iris
2024-05-09 10:54:08 +02:00
..
lib clean up, organize and document 2024-04-22 14:33:40 +02:00
src fix Iris 2024-05-09 10:54:08 +02:00
README.md clean up, organize and document 2024-04-22 14:33:40 +02:00

Why this split:

The Module(s) used when evaluating individuals has to be in an external library to make Hint work. so we split the lamda-calculus command program in a library we need to expose in the main library and the implementation.

Sadly, ghc / ghci / cabal can not properly make a public, internal library available to ghci (and, with that, Hint). Should this ever change:

library haga-lambda-lib
  visibility:          public
  build-depends:       base
                     , protolude
  default-language:    Haskell2010
  ghc-options:         -Wall -Wno-orphans -O2
  hs-source-dirs:      lambda/lib
  other-modules:       CommonDefinition
  exposed-modules:     LambdaDatasets.NurseryDefinition