PackageCalculus · package-calculus · Tangled

ryan.freumh.org / package-calculus

The Package Calculus

package-calculus PackageCalculus

5 folders

at dev

Ryan Gibb · fibred lookup theorems for solving reduced instances · 1mo ago

dependency visibility and remove redundant docstring theorem numbering which can get stale

drop maxHeartbeats overrides: dispatch cheap name-clash case first

add normalization of dependencies to functional in name

fibred lookup theorems for solving reduced instances

dependency visibility and remove redundant docstring theorem numbering which can get stale