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
- Conditional
- CST (Concrete Syntax Tree)
- De Bruijn Index
- Declaration
- DEF (Definition)
- Domain
- Existential Quantifier
- First-Order Logic (FOL)
- Free Variable
- Green-Red Tree
- Ident (Identifier)
- Lambda
- Let Binding
- logex (CLI Tool)
- LogEx (Language)
- Lossless Parsing
- Match Arm
- Match Block
- MATCH/REPLACE
- Object Language vs. Metalanguage
- Pattern
- Predicate
- Propositional Logic
- Quantifier
- Round-trip Invariant
- RULE
- Scope
- Second-Order Logic (SOL)
- Semantic Analysis
- Template
- Term
- THM (Theorem)
- Transformation Engine
- Trivia
- Type Checking
- Universal Quantifier
- Variable Capture
- Where Clause
- Wildcard