pds

pds-0.1.0.0

• Analysis
  Submodules

  • Adjectives
    Submodules

    •  Analysis.Adjectives.Adjectives Adjectives lexicon.
    •  Analysis.Adjectives.Signature Signature for gradable adjectives.
  • Factivity
    Submodules

    •  Analysis.Factivity.Factivity Factivity lexicon.
    •  Analysis.Factivity.Signature Signature for factivity.
• Framework
  Submodules

  •  Framework.Grammar Exports CCG operations, lexica, and parsers.
    Submodules

    •  Framework.Grammar.CCG CCG derivations.
    • Lexica
      Submodules

      •  Framework.Grammar.Lexica.SynSem Components for defining CCG lexica with catogories and λ-terms.
        Submodules

        •  Framework.Grammar.Lexica.SynSem.Convenience Some convenience functions.
    •  Framework.Grammar.Parser CCG parsing, CKY-style (ish).
  •  Framework.Lambda Exports terms, types, and some delta rules.
    Submodules

    •  Framework.Lambda.Convenience Convenience functions, etc.
    •  Framework.Lambda.Delta Delta rules.
    •  Framework.Lambda.Signature Signatures for constants used across the framework.
    •  Framework.Lambda.Terms λ-calculus (with probabilistic programs).
    •  Framework.Lambda.Types Curry typing with probabilistic types.
  •  Framework.Target Exports target modules, e.g., translating to Stan code.
    Submodules

    •  Framework.Target.Stan Exports probabilistic programs as Stan code.
• Theory
  Submodules

  •  Theory.Signature Theory-level signatures