Erik Eckstein d225c47d25 AST: rename OpenArchetypeType -> ExistentialArchetypeType ...

NFC

2025-03-11 20:21:46 +01:00

..

archetypes.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

basic-operation.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

building-generic-signatures.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

compilation-model.tex

[docs]: fix typo in compilation-model.tex

2024-11-26 04:43:37 -06:00

completion.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

concrete-conformances.tex

docs: Update generics.tex

2024-05-21 11:00:28 -04:00

conformance-paths.tex

Fix double 'the the' in various places

2025-02-14 17:27:51 -08:00

conformances.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

declarations.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

derived-requirements-summary.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

existential-types.tex

docs: Update generics.tex

2024-10-21 22:08:52 -04:00

extensions.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

generic-signatures.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

introduction.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

math-summary.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

monoids.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

opaque-return-types.tex

docs: Update generics.tex

2024-10-21 22:08:52 -04:00

preface.tex

docs: Update generics.tex

2024-10-21 22:08:52 -04:00

property-map.tex

docs: Update generics.tex

2024-10-21 22:08:52 -04:00

rule-minimization.tex

docs: Update generics.tex

2024-10-21 22:08:52 -04:00

substitution-maps.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

symbols-terms-and-rules.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

type-resolution.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

type-substitution-summary.tex

docs: Update generics.tex

2024-11-16 22:05:52 -05:00

types.tex

AST: rename OpenArchetypeType -> ExistentialArchetypeType

2025-03-11 20:21:46 +01:00