| & | Framework.Lambda.Terms, Framework.Lambda |
| // | Framework.Grammar.CCG, Framework.Grammar |
| :/: | Framework.Grammar.CCG, Framework.Grammar |
| :\: | Framework.Grammar.CCG, Framework.Grammar |
| :× | Framework.Lambda.Types, Framework.Lambda |
| :→ | Framework.Lambda.Types, Framework.Lambda |
| <$$> | Framework.Lambda.Convenience, Framework.Lambda |
| <**> | Framework.Lambda.Convenience, Framework.Lambda |
| <||> | Framework.Lambda.Convenience, Framework.Lambda |
| >>> | Framework.Lambda.Convenience, Framework.Lambda |
| >>>= | Framework.Lambda.Convenience, Framework.Lambda |
| @@ | Framework.Lambda.Terms, Framework.Lambda |
| a | Framework.Lambda.Convenience, Framework.Lambda |
| Add | Framework.Lambda.Convenience, Framework.Lambda |
| Adjectives | Framework.Grammar.CCG, Framework.Grammar |
| adjectivesRespond | Analysis.Adjectives.Adjectives |
| And | Framework.Lambda.Convenience, Framework.Lambda |
| App | Framework.Lambda.Terms, Framework.Lambda |
| arithmetic | Framework.Lambda.Delta, Framework.Lambda |
| arity | Framework.Lambda.Types, Framework.Lambda |
| ask | Framework.Lambda.Convenience, Framework.Lambda |
| assert | Framework.Lambda.Convenience, Framework.Lambda |
| asTyped | Framework.Lambda.Types, Framework.Lambda |
| Atom | Framework.Lambda.Types, Framework.Lambda |
| b | Framework.Lambda.Convenience, Framework.Lambda |
| Base | Framework.Grammar.CCG, Framework.Grammar |
| Bern | Framework.Lambda.Convenience, Framework.Lambda |
| Beta | Framework.Lambda.Convenience, Framework.Lambda |
| betaDeltaNormal | Framework.Lambda.Terms, Framework.Lambda |
| betaEtaNormal | Framework.Lambda.Terms, Framework.Lambda |
| betaNormal | Framework.Lambda.Terms, Framework.Lambda |
| c | Framework.Lambda.Convenience, Framework.Lambda |
| Cat | Framework.Grammar.CCG, Framework.Grammar |
| CG | Framework.Lambda.Convenience, Framework.Lambda |
| cg | Framework.Lambda.Convenience, Framework.Lambda |
| cleanUp | Framework.Lambda.Delta, Framework.Lambda |
| combineL | |
| 1 (Function) | Framework.Grammar.CCG, Framework.Grammar |
| 2 (Function) | Framework.Grammar.Lexica.SynSem.Convenience |
| combineR | |
| 1 (Function) | Framework.Grammar.CCG, Framework.Grammar |
| 2 (Function) | Framework.Grammar.Lexica.SynSem.Convenience |
| compDepth | Framework.Grammar.Lexica.SynSem.Convenience |
| compDepthEnglish | Framework.Grammar.Lexica.SynSem.Convenience |
| Con | Framework.Lambda.Terms, Framework.Lambda |
| cons | Framework.Lambda.Convenience, Framework.Lambda |
| Constant | Framework.Lambda.Terms, Framework.Lambda |
| contextParams | |
| 1 (Function) | Analysis.Factivity.Signature |
| 2 (Function) | Analysis.Adjectives.Signature |
| d | Framework.Lambda.Convenience, Framework.Lambda |
| DCon | Framework.Lambda.Convenience, Framework.Lambda |
| dCon | Framework.Lambda.Terms, Framework.Lambda |
| DeltaRule | Framework.Lambda.Terms, Framework.Lambda |
| Disj | Framework.Lambda.Convenience, Framework.Lambda |
| disjunctions | Framework.Lambda.Delta, Framework.Lambda |
| Distr | Framework.Target.Stan, Framework.Target |
| DTall | Framework.Lambda.Convenience, Framework.Lambda |
| e | Framework.Lambda.Convenience, Framework.Lambda |
| entails | Framework.Lambda.Convenience, Framework.Lambda |
| Epi | Framework.Lambda.Convenience, Framework.Lambda |
| epi | Framework.Lambda.Convenience, Framework.Lambda |
| Eq | Framework.Lambda.Convenience, Framework.Lambda |
| equality | Framework.Lambda.Delta, Framework.Lambda |
| Error | Framework.Target.Stan, Framework.Target |
| etaNormal | Framework.Lambda.Terms, Framework.Lambda |
| Expr | Framework.Grammar.CCG, Framework.Grammar |
| Fa | Framework.Lambda.Convenience, Framework.Lambda |
| Factivity | Framework.Grammar.CCG, Framework.Grammar |
| factivityPrior | Analysis.Factivity.Factivity |
| factivityRespond | Analysis.Factivity.Factivity |
| Factor | Framework.Lambda.Convenience, Framework.Lambda |
| factor | Framework.Lambda.Convenience, Framework.Lambda |
| flipp | Framework.Grammar.Lexica.SynSem.Convenience |
| forParse | Framework.Grammar.Parser, Framework.Grammar |
| freeVars | Framework.Lambda.Terms, Framework.Lambda |
| fresh | Framework.Lambda.Terms, Framework.Lambda |
| fST | Framework.Grammar.Lexica.SynSem.Convenience |
| GE | Framework.Lambda.Convenience, Framework.Lambda |
| genComp | Framework.Grammar.Lexica.SynSem.Convenience |
| genSub | Framework.Grammar.Lexica.SynSem.Convenience |
| getList | Framework.Grammar.Parser, Framework.Grammar |
| GetPP | Framework.Lambda.Convenience, Framework.Lambda |
| getPP | Framework.Lambda.Convenience, Framework.Lambda |
| Height | Framework.Lambda.Convenience, Framework.Lambda |
| i | Framework.Lambda.Convenience, Framework.Lambda |
| Indi | Framework.Lambda.Convenience, Framework.Lambda |
| indicator | Framework.Lambda.Delta, Framework.Lambda |
| interpret | Framework.Grammar.Parser, Framework.Grammar |
| Interpretation | Framework.Grammar.CCG, Framework.Grammar |
| interpretations | Framework.Grammar.Parser, Framework.Grammar |
| ITE | Framework.Lambda.Convenience, Framework.Lambda |
| ite | Framework.Lambda.Delta, Framework.Lambda |
| j | Framework.Lambda.Convenience, Framework.Lambda |
| k | Framework.Lambda.Convenience, Framework.Lambda |
| Lam | Framework.Lambda.Terms, Framework.Lambda |
| lam | Framework.Lambda.Convenience, Framework.Lambda |
| Let | Framework.Lambda.Terms, Framework.Lambda |
| let' | Framework.Lambda.Convenience, Framework.Lambda |
| lexica | Framework.Grammar.CCG, Framework.Grammar |
| Lexicon | Framework.Grammar.CCG, Framework.Grammar |
| likelihoodPrior | Analysis.Adjectives.Adjectives |
| Ling | Framework.Lambda.Convenience, Framework.Lambda |
| ling | Framework.Lambda.Convenience, Framework.Lambda |
| LkUp | Framework.Lambda.Convenience, Framework.Lambda |
| logical | Framework.Lambda.Delta, Framework.Lambda |
| LogitNormal | Framework.Lambda.Convenience, Framework.Lambda |
| lRender | Framework.Target.Stan, Framework.Target |
| m | Framework.Lambda.Convenience, Framework.Lambda |
| Max | Framework.Lambda.Convenience, Framework.Lambda |
| max' | Framework.Lambda.Convenience, Framework.Lambda |
| maxes | Framework.Lambda.Delta, Framework.Lambda |
| mkStackSig | Framework.Lambda.Signature, Framework.Lambda |
| mkStateSig | Framework.Lambda.Signature, Framework.Lambda |
| Model | |
| 1 (Type/Class) | Framework.Target.Stan, Framework.Target |
| 2 (Data Constructor) | Framework.Target.Stan, Framework.Target |
| Mult | Framework.Lambda.Convenience, Framework.Lambda |
| n | Framework.Lambda.Convenience, Framework.Lambda |
| Neg | Framework.Lambda.Convenience, Framework.Lambda |
| Normal | Framework.Lambda.Convenience, Framework.Lambda |
| normal | Framework.Lambda.Convenience, Framework.Lambda |
| NormalCDF | Framework.Lambda.Convenience, Framework.Lambda |
| NormalCDF' | Framework.Lambda.Convenience, Framework.Lambda |
| normalL | Framework.Lambda.Convenience, Framework.Lambda |
| observations | Framework.Lambda.Delta, Framework.Lambda |
| Observe | Framework.Lambda.Convenience, Framework.Lambda |
| observe | Framework.Lambda.Convenience, Framework.Lambda |
| One | Framework.Lambda.Convenience, Framework.Lambda |
| Or | Framework.Lambda.Convenience, Framework.Lambda |
| order | Framework.Lambda.Types, Framework.Lambda |
| overwrite | Framework.Lambda.Convenience, Framework.Lambda |
| P | Framework.Lambda.Types, Framework.Lambda |
| p | Framework.Lambda.Convenience, Framework.Lambda |
| Pair | Framework.Lambda.Terms, Framework.Lambda |
| PairFun | |
| 1 (Type/Class) | Framework.Grammar.Lexica.SynSem.Convenience |
| 2 (Data Constructor) | Framework.Grammar.Lexica.SynSem.Convenience |
| ParseAs | |
| 1 (Type/Class) | Framework.Grammar.Parser, Framework.Grammar |
| 2 (Data Constructor) | Framework.Grammar.Parser, Framework.Grammar |
| Phil | Framework.Lambda.Convenience, Framework.Lambda |
| phil | Framework.Lambda.Convenience, Framework.Lambda |
| Pi1 | Framework.Lambda.Terms, Framework.Lambda |
| Pi2 | Framework.Lambda.Terms, Framework.Lambda |
| Pop | Framework.Lambda.Convenience, Framework.Lambda |
| popQ | Framework.Lambda.Convenience, Framework.Lambda |
| PopQUD | Framework.Lambda.Convenience, Framework.Lambda |
| pop_qud | Framework.Lambda.Convenience, Framework.Lambda |
| Pr | Framework.Lambda.Convenience, Framework.Lambda |
| pr | Framework.Lambda.Convenience, Framework.Lambda |
| pRender | Framework.Target.Stan, Framework.Target |
| probabilities | Framework.Lambda.Delta, Framework.Lambda |
| Project | Framework.Grammar.CCG, Framework.Grammar |
| Prop1 | Framework.Lambda.Convenience, Framework.Lambda |
| prop1 | Framework.Lambda.Convenience, Framework.Lambda |
| prop2 | Framework.Lambda.Convenience, Framework.Lambda |
| purePP | Framework.Lambda.Convenience, Framework.Lambda |
| Push | Framework.Lambda.Convenience, Framework.Lambda |
| PushQUD | Framework.Lambda.Convenience, Framework.Lambda |
| push_QUD | Framework.Lambda.Convenience, Framework.Lambda |
| putPP | Framework.Lambda.Convenience, Framework.Lambda |
| q | Framework.Lambda.Convenience, Framework.Lambda |
| r | Framework.Lambda.Convenience, Framework.Lambda |
| respond | Framework.Lambda.Convenience, Framework.Lambda |
| Return | Framework.Lambda.Terms, Framework.Lambda |
| s | Framework.Lambda.Convenience, Framework.Lambda |
| sampleOnly | Framework.Lambda.Convenience, Framework.Lambda |
| scaleNormingPrior | Analysis.Adjectives.Adjectives |
| SCon | Framework.Lambda.Convenience, Framework.Lambda |
| sCon | Framework.Lambda.Terms, Framework.Lambda |
| sem | Framework.Grammar.Lexica.SynSem, Framework.Grammar |
| Sig | Framework.Lambda.Types, Framework.Lambda |
| sND | Framework.Grammar.Lexica.SynSem.Convenience |
| SocPla | Framework.Lambda.Convenience, Framework.Lambda |
| stanShow | Framework.Target.Stan, Framework.Target |
| statements | Framework.Target.Stan, Framework.Target |
| states | Framework.Lambda.Delta, Framework.Lambda |
| subst | Framework.Lambda.Terms, Framework.Lambda |
| syn | Framework.Grammar.Lexica.SynSem, Framework.Grammar |
| SynSem | |
| 1 (Type/Class) | Framework.Grammar.Lexica.SynSem, Framework.Grammar |
| 2 (Data Constructor) | Framework.Grammar.Lexica.SynSem, Framework.Grammar |
| t | Framework.Lambda.Convenience, Framework.Lambda |
| tau0 | Framework.Lambda.Signature, Framework.Lambda |
| tauAdj | Analysis.Adjectives.Signature |
| tauArithmetic | Framework.Lambda.Signature, Framework.Lambda |
| tauFact | Analysis.Factivity.Signature |
| tauIndicesInit | Framework.Lambda.Signature, Framework.Lambda |
| TauKnow | Framework.Lambda.Convenience, Framework.Lambda |
| tauLogical | Framework.Lambda.Signature, Framework.Lambda |
| tauProbProg | Framework.Lambda.Signature, Framework.Lambda |
| tauReals | Framework.Lambda.Signature, Framework.Lambda |
| tauStates | Theory.Signature |
| tauStatesInit | Framework.Lambda.Signature, Framework.Lambda |
| Term | Framework.Lambda.Terms, Framework.Lambda |
| termOf | Framework.Lambda.Types, Framework.Lambda |
| toStan | Framework.Target.Stan, Framework.Target |
| Tr | Framework.Lambda.Convenience, Framework.Lambda |
| Truncate | Framework.Lambda.Convenience, Framework.Lambda |
| TT | Framework.Lambda.Terms, Framework.Lambda |
| ty | Framework.Lambda.Types, Framework.Lambda |
| TyCon | Framework.Lambda.Types, Framework.Lambda |
| tyEq | Framework.Lambda.Types, Framework.Lambda |
| tyEq' | Framework.Lambda.Types, Framework.Lambda |
| Type | Framework.Lambda.Types, Framework.Lambda |
| Typed | |
| 1 (Type/Class) | Framework.Lambda.Types, Framework.Lambda |
| 2 (Data Constructor) | Framework.Lambda.Types, Framework.Lambda |
| TypeError | Framework.Target.Stan, Framework.Target |
| typeOf | Framework.Lambda.Types, Framework.Lambda |
| TyVar | Framework.Lambda.Types, Framework.Lambda |
| u | Framework.Lambda.Convenience, Framework.Lambda |
| Undefined | Framework.Lambda.Convenience, Framework.Lambda |
| unify | Framework.Lambda.Types, Framework.Lambda |
| Unit | Framework.Lambda.Types, Framework.Lambda |
| Upd | Framework.Lambda.Convenience, Framework.Lambda |
| UpdCG | Framework.Lambda.Convenience, Framework.Lambda |
| UpdDTall | Framework.Lambda.Convenience, Framework.Lambda |
| UpdEpi | Framework.Lambda.Convenience, Framework.Lambda |
| UpdHeight | Framework.Lambda.Convenience, Framework.Lambda |
| UpdLing | Framework.Lambda.Convenience, Framework.Lambda |
| UpdProp1 | Framework.Lambda.Convenience, Framework.Lambda |
| UpdSocPla | Framework.Lambda.Convenience, Framework.Lambda |
| UpdTauKnow | Framework.Lambda.Convenience, Framework.Lambda |
| upd_CG | Framework.Lambda.Convenience, Framework.Lambda |
| v | Framework.Lambda.Convenience, Framework.Lambda |
| Var | Framework.Lambda.Terms, Framework.Lambda |
| VarName | Framework.Target.Stan, Framework.Target |
| w | Framework.Lambda.Convenience, Framework.Lambda |
| Word | Framework.Grammar.CCG, Framework.Grammar |
| x | Framework.Lambda.Convenience, Framework.Lambda |
| y | Framework.Lambda.Convenience, Framework.Lambda |
| z | Framework.Lambda.Convenience, Framework.Lambda |
| Zero | Framework.Lambda.Convenience, Framework.Lambda |
| \\ | Framework.Grammar.CCG, Framework.Grammar |
| _' | Framework.Lambda.Convenience, Framework.Lambda |
| _0 | Framework.Lambda.Convenience, Framework.Lambda |
| α | Framework.Lambda.Convenience, Framework.Lambda |
| β | Framework.Lambda.Convenience, Framework.Lambda |
| ϵ | Framework.Lambda.Convenience, Framework.Lambda |
| ι | Framework.Lambda.Convenience, Framework.Lambda |
| κ | Framework.Lambda.Convenience, Framework.Lambda |
| σ | Framework.Lambda.Convenience, Framework.Lambda |
| ω | Framework.Lambda.Convenience, Framework.Lambda |