Glossary
Every defined term in the LogEx documentation has its own page here. Search ([Ctrl-K] or [/]) is the fastest way to find a term; the alphabetical list below is the structured browse path.
- Alpha-Equivalence
- Annotation
- AST (Abstract Syntax Tree)
- AXM (Axiom)
- BackRef (Backreference)
- Binder
- Binding
- Binding Analysis
- Bound Variable
- Capture
- Capture-Avoiding Substitution
- Citation
- Comprehension
- Conditional
- De Bruijn Index
- Declaration
- DEF (Definition)
- Definite Description
- Document
- Domain
- Existential Quantifier
- First-Order Logic (FOL)
- Free Variable
- Hint Annotation
- Ident (Identifier)
- Inductive Domain
- Justification
- Lam
- Lambda
- Let Binding
- logex (CLI Tool)
- LogEx (Language)
- Lossless Parsing
- Match Arm
- Match Block
- MATCH/REPLACE
- Module
- Object Language vs. Metalanguage
- Pattern
- Predicate
- Primitive
- Product Domain
- Propositional Logic
- Quantifier
- Quotation
- Return Type
- Rewrite Strategy
- Round-trip Invariant
- RULE
- Scope
- Second-Order Logic (SOL)
- Semantic Analysis
- Step
- Template
- Term
- THM (Theorem)
- Transformation Engine
- Trivia
- Type Checking
- Unique Quantifier
- Universal Quantifier
- Variable Capture
- Warning
- Where Clause
- Wildcard