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

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

October 2026

stop the header from reflowing on hover
András Kovács committed
put the separator back between the rows
András Kovács committed
let the caller pass its own fetch
András Kovács committed
walk the parents once, not twice
András Kovács committed
tighten the types around the response
András Kovács committed

September 2026

spell the aria label out loud
András Kovács committed
trim the trailing newline before hashing
András Kovács committed
keep the empty state on one line
András Kovács committed
trim the trailing newline before hashing
András Kovács committed
pull the loader out of the component
András Kovács committed
round the sizes to the token scale
András Kovács committed
split the view out of the route
András Kovács committed