Documentation

Linglib.Data.Examples.Geach1962

Geach1962 — typed example data #

Auto-generated from Linglib/Data/Examples/Geach1962.json by scripts/gen_examples.py. Do not edit by hand; edit the JSON and re-run the generator. Consumers (the paper's study file, test-suite hubs) import this module; declarations live in namespace Geach1962.Examples.

source
def Geach1962.Examples.donkey_classic :
Data.Examples.LinguisticExample
Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Geach1962.Examples.all :
    List Data.Examples.LinguisticExample
    Equations
    Instances For