alpha
Login
Join now
ryan.freumh.org
/
package-calculus
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
The Package Calculus
Star
Starred
Star
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
icfp
Ryan Gibb
·
virtual normal form
·
2mo ago
3e45d854
Complexity
remove DelRel.DependeesExist
2mo ago
Composition
mechanise lifting retractions for all extensions
2mo ago
Core
add normalization of dependencies to functional in name
2mo ago
Extensions
virtual normal form
2mo ago
Versions
remove DelRel.DependeesExist
2mo ago
