feat: more efficient diffs#134

Merged

ChrisPenner merged 17 commits intomainfrom

Sep 2, 2025

Commits on Aug 15, 2025

more efficient diffs
mitchellwrosen
committed

Commits on Aug 21, 2025

Make post-diff "get term/type display objects" step more efficient
mitchellwrosen
committed

Commits on Aug 25, 2025

simplify definion diffs traversals
mitchellwrosen
committed
skip resolving term names to referents since we already have that info
mitchellwrosen
committed
skip resolving type names to references since we already have that info
mitchellwrosen
committed

Commits on Aug 26, 2025

bump unison
mitchellwrosen
committed

Commits on Aug 28, 2025

reduce duplication in code cache queries
mitchellwrosen
committed

Commits on Aug 29, 2025

Commits on Sep 1, 2025

⅄ main → narrow
mitchellwrosen
committed