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
Version history of
PackageCalculus/Composition/FeatureConcurrent/Reduction/
Completeness.lean
September 2026
Ryan Gibb
ba3f02f9
split the view out of the route
11h ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
11h ago
Ryan Gibb
a885915e
pull the loader out of the component
3d ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
3d ago
Ryan Gibb
6e943bd3
split the view out of the route
6d ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
6d ago
Ryan Gibb
a90f59cc
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
956cb097
reuse the existing chip instead of a new one
1w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
cec105ab
make the toggle keyboard reachable
2w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
447dee93
let the caller pass its own fetch
2w ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
bd5b7574
stop the header from reflowing on hover
3w ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
57639f3d
round the sizes to the token scale
3w ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
d0387ade
walk the parents once, not twice
3w ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
dbd4d744
reuse the existing chip instead of a new one
4w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
6b6cc76e
collapse the two nearly identical helpers
4w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
b50b68dd
handle the ref with a slash in it
1mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
91f02992
split the view out of the route
1mo ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
fa89368d
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
8a0567f3
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
5e8ab400
read the default from the config
1mo ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
f4892169
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
2390d626
put the separator back between the rows
1mo ago
put the separator back between the rows
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
0c78e226
split the view out of the route
1mo ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
1a444be7
stop the header from reflowing on hover
1mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
949f5fb0
trim the trailing newline before hashing
1mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
22479a86
make the toggle keyboard reachable
1mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
July 2026
Ryan Gibb
32ca165e
walk the parents once, not twice
2mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
e0fa75e8
spell the aria label out loud
2mo ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
f492ea1b
handle the ref with a slash in it
2mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
32772891
pull the loader out of the component
2mo ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
bfd017a5
walk the parents once, not twice
2mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
a14fc9a3
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
01e5d549
move the guard up to the boundary
2mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
9d94eb68
split the view out of the route
2mo ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
June 2026
Ryan Gibb
88d409f5
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
27cde118
spell the aria label out loud
3mo ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
f378f8fe
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
20b4a531
put the separator back between the rows
3mo ago
put the separator back between the rows
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
14440c0a
let the caller pass its own fetch
3mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
65ed57bf
treat a missing body as empty, not null
3mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
ff4b2b52
round the sizes to the token scale
3mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
16f8b86e
cache the resolved handle for the session
3mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
May 2026
Ryan Gibb
327dc517
handle the ref with a slash in it
4mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
73e8ff6d
stop the header from reflowing on hover
4mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
8095600e
collapse the two nearly identical helpers
4mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
de1db60e
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
abc839a5
treat a missing body as empty, not null
4mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
ac2cd028
pull the loader out of the component
4mo ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
950655c9
split the view out of the route
4mo ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
5bab546e
let the caller pass its own fetch
4mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
April 2026
Ryan Gibb
84d0d377
walk the parents once, not twice
5mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
9afbe821
let the caller pass its own fetch
5mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
5ab4ad3c
drop the dead compatibility branch
5mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Previous
1
2
3
4
Next