Sign in
Join now
package-calculus
ryan.freumh.org
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
The Package Calculus
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
package-calculus
/
PackageCalculus
5 folders
at
dev
Ryan Gibb
·
fibred lookup theorems for solving reduced instances
·
3mo ago
90d896b0
Complexity
dependency visibility and remove redundant docstring theorem numbering which can get stale
3mo ago
Composition
drop maxHeartbeats overrides: dispatch cheap name-clash case first
3mo ago
Core
add normalization of dependencies to functional in name
4mo ago
Extensions
fibred lookup theorems for solving reduced instances
3mo ago
Versions
dependency visibility and remove redundant docstring theorem numbering which can get stale
3mo ago
