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
Chris Vanderloo committed
split the view out of the route
rsdexter committed
round the sizes to the token scale
Robert Dexter committed
handle the ref with a slash in it
rsdexter committed

September 2026

spell the aria label out loud
Chris Vanderloo committed
cache the resolved handle for the session
Robert Dexter committed
read the default from the config
Robert Dexter committed
collapse the two nearly identical helpers
Chris Vanderloo 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
move the guard up to the boundary
rsdexter committed
defer the icon import
rsdexter committed
round the sizes to the token scale
Chris Vanderloo committed

August 2026

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
Chris Vanderloo committed
reuse the existing chip instead of a new one
Robert Dexter committed
round the sizes to the token scale
rsdexter committed
keep the empty state on one line
rsdexter committed

July 2026

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

June 2026

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

May 2026

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