jonmsterling.com / project-pterodactyl
www.jonmsterling.com/01HC
dependent-types proof-assistant
Star
Fork 3
Watch

Version history of haskell-pterodactyl/src/lib/Core/MetaState.hs

October 2026

stop the header from reflowing on hover
András Kovács committed
reuse the existing chip instead of a new one
András Kovács committed
collapse the two nearly identical helpers
András Kovács committed
round the sizes to the token scale
András Kovács committed
handle the ref with a slash in it
András Kovács committed

September 2026

round the sizes to the token scale
András Kovács committed
reuse the existing chip instead of a new one
András Kovács committed
drop the dead compatibility branch
András Kovács committed
walk the parents once, not twice
András Kovács committed
fix the off-by-one in the page cursor
András Kovács committed
treat a missing body as empty, not null
András Kovács committed
treat a missing body as empty, not null
András Kovács committed
walk the parents once, not twice
András Kovács committed
fix the off-by-one in the page cursor
András Kovács committed
make the toggle keyboard reachable
András Kovács committed

August 2026

split the view out of the route
András Kovács committed
defer the icon import
András Kovács committed
defer the icon import
András Kovács committed
defer the icon import
András Kovács committed
reuse the existing chip instead of a new one
András Kovács committed
handle the ref with a slash in it
András Kovács committed
defer the icon import
András Kovács committed
drop the dead compatibility branch
András Kovács committed
collapse the two nearly identical helpers
András Kovács committed
round the sizes to the token scale
András Kovács committed

July 2026

stop swallowing the parse error
András Kovács committed
pull the loader out of the component
András Kovács committed