RFC for simple type-aware partial evaluation.#95

Merged

emina merged 8 commits intomainfrom

May 23, 2025

Commits on Feb 5, 2025

Add RFC for simple type-aware partial evaluation.
Emina Torlak
committed

Commits on Feb 6, 2025

Fix typos.
Emina Torlak
committed

Commits on Feb 8, 2025

Update text/0095-type-aware-partial-evaluation.md

emina
and
cdisselkoen
authored

Commits on Feb 11, 2025

Add a suggested alternative.
Emina Torlak
committed

Commits on Feb 12, 2025

Add a link to permissions queries section to summary.
Emina Torlak
committed
Fix typo.
Emina Torlak
committed

Commits on Feb 26, 2025

Add a para that explicitly states absent entities are treated as unknowns.
Emina Torlak
committed

Commits on May 15, 2025

Clarify that an entity cannot include a parent whose parents are unknown.
Emina Torlak
committed