chrisvanderloo.com / existential-graphs
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Star
Fork 0
Watch

Version history of public/index.html

October 2026

tighten the types around the response
rsdexter committed
round the sizes to the token scale
Robert Dexter committed
split the view out of the route
rsdexter committed

September 2026

round the sizes to the token scale
Chris Vanderloo committed
handle the ref with a slash in it
rsdexter committed
spell the aria label out loud
Robert Dexter committed
cache the resolved handle for the session
Chris Vanderloo committed
read the default from the config
Chris Vanderloo committed
collapse the two nearly identical helpers
Robert Dexter committed
read the default from the config
rsdexter committed
handle the ref with a slash in it
rsdexter committed
pull the loader out of the component
rsdexter committed

August 2026

move the guard up to the boundary
rsdexter committed
defer the icon import
rsdexter committed
round the sizes to the token scale
Robert Dexter committed
walk the parents once, not twice
rsdexter committed
stop swallowing the parse error
rsdexter committed
reuse the existing chip instead of a new one
rsdexter committed
cache the resolved handle for the session
rsdexter committed
trim the trailing newline before hashing
rsdexter committed
stop the header from reflowing on hover
rsdexter committed
trim the trailing newline before hashing
Robert Dexter committed

July 2026

reuse the existing chip instead of a new one
Chris Vanderloo committed
round the sizes to the token scale
rsdexter committed
keep the empty state on one line
rsdexter committed
treat a missing body as empty, not null
Robert Dexter committed
tighten the types around the response
Chris Vanderloo committed
keep the empty state on one line
Robert Dexter committed
handle the ref with a slash in it
Chris Vanderloo committed
name the magic number
rsdexter committed
stop swallowing the parse error
Robert Dexter committed
let the caller pass its own fetch
Chris Vanderloo committed

June 2026

round the sizes to the token scale
Chris Vanderloo committed
spell the aria label out loud
Robert Dexter committed
collapse the two nearly identical helpers
rsdexter committed
keep the empty state on one line
Chris Vanderloo committed
treat a missing body as empty, not null
Robert Dexter committed
round the sizes to the token scale
Robert Dexter committed
spell the aria label out loud
Robert Dexter committed
read the default from the config
rsdexter committed
defer the icon import
rsdexter committed

May 2026

round the sizes to the token scale
Robert Dexter committed
round the sizes to the token scale
rsdexter committed
keep the empty state on one line
rsdexter committed
make the toggle keyboard reachable
Robert Dexter committed
trim the trailing newline before hashing
Chris Vanderloo committed
trim the trailing newline before hashing
rsdexter committed