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/Extensions/Feature/Reduction/
Completeness.lean
September 2026
Ryan Gibb
6ef71810
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
28a98962
trim the trailing newline before hashing
6d ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
6d ago
Ryan Gibb
2f123c28
spell the aria label out loud
1w ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
447c3326
trim the trailing newline before hashing
1w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
51c0d2dc
spell the aria label out loud
2w ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
6a01984d
treat a missing body as empty, not null
2w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
e18f1af1
let the caller pass its own fetch
3w ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
8bd4a5c4
defer the icon import
3w ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
ec00b89c
stop swallowing the parse error
3w ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
aa1c89b2
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
bf5de078
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
fb57c5e8
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
34e44604
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
5b081070
fix the off-by-one in the page cursor
1mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
c4503108
keep the empty state on one line
1mo ago
keep the empty state on one line
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
e7a7c0bf
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
217f2bb5
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
fdd1d0a9
pull the loader out of the component
1mo ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
July 2026
Ryan Gibb
68251a29
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
624eacb5
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
28608e9f
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
ece4d42f
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
Ryan Gibb
0135e4dd
put the separator back between the rows
2mo ago
put the separator back between the rows
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
33d1f056
tighten the types around the response
2mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
c307ede7
treat a missing body as empty, not null
2mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
f6d559eb
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
e43c7387
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
b1675354
collapse the two nearly identical helpers
3mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
f4d4ef3c
trim the trailing newline before hashing
3mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
dd34bceb
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
89894343
fix the off-by-one in the page cursor
3mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
dbb4063c
read the default from the config
3mo ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
8eff1153
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
May 2026
Ryan Gibb
666712ce
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
0de232f6
put the separator back between the rows
4mo ago
put the separator back between the rows
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
42addb4e
cache the resolved handle for the session
4mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
a6c0e3d7
keep the empty state on one line
4mo ago
keep the empty state on one line
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
fba306f3
round the sizes to the token scale
4mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
a48bc4cf
round the sizes to the token scale
4mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
1456a280
trim the trailing newline before hashing
4mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
feee92f4
round the sizes to the token scale
4mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
April 2026
Ryan Gibb
b73fe7a1
split the view out of the route
5mo ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
4033313a
reuse the existing chip instead of a new one
5mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
82f33151
defer the icon import
5mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
dace6937
split the view out of the route
5mo ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
22bde866
cache the resolved handle for the session
5mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
52f415fe
treat a missing body as empty, not null
5mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
8a38f426
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
755642b6
fix the off-by-one in the page cursor
5mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
1d61afd7
tighten the types around the response
5mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Previous
1
2
3
Next