PackageCalculus · package-calculus · Tangled

ryan.freumh.org / package-calculus

The Package Calculus

package-calculus PackageCalculus

5 folders

Ryan Gibb · drop maxHeartbeats overrides: dispatch cheap name-clash case first · 2mo 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

make reduction helpers public, dedup conflict lifting inverses

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