ryan.freumh.org / package-calculus
The Package Calculus
Star
Fork 0
Watch

Version history of PackageCalculus/Extensions/VariableFormula/Reduction/Definition.lean

September 2026

drop the dead compatibility branch
Ryan Gibb committed
defer the icon import
Ryan Gibb committed
reuse the existing chip instead of a new one
Ryan Gibb committed
fix the off-by-one in the page cursor
Ryan Gibb committed
put the separator back between the rows
Ryan Gibb committed
trim the trailing newline before hashing
Ryan Gibb committed
treat a missing body as empty, not null
Ryan Gibb committed
pull the loader out of the component
Ryan Gibb committed

August 2026

fix the off-by-one in the page cursor
Ryan Gibb committed