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/Virtual/Reduction/
Completeness.lean
September 2026
Ryan Gibb
bf0ab74f
name the magic number
1d ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1d ago
Ryan Gibb
34920e83
collapse the two nearly identical helpers
1w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
80590990
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
1ace8852
reuse the existing chip instead of a new one
2w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
7f971c97
name the magic number
2w ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
18efcb00
tighten the types around the response
3w ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
6b83f836
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
31b2faac
fix the off-by-one in the page cursor
3w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
adb9b9f4
spell the aria label out loud
4w ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
ad5d1a3d
read the default from the config
4w ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
fe7e9d21
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
7c79ae6b
let the caller pass its own fetch
1mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
917dbd6f
spell the aria label out loud
1mo ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
b0306887
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
8e00473d
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
18935a5f
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
cb90ca2a
round the sizes to the token scale
1mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
dd22f7e7
walk the parents once, not twice
1mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
7e75747a
treat a missing body as empty, not null
1mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
July 2026
Ryan Gibb
d7ce3a29
let the caller pass its own fetch
2mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
de4e49ef
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
1645539d
keep the empty state on one line
2mo ago
keep the empty state on one line
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
3d38454f
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
e8a097dc
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
June 2026
Ryan Gibb
b6620289
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
15cf1453
tighten the types around the response
3mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
49710b53
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
cc84b538
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
439190b0
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
969bac92
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
06c81701
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
May 2026
Ryan Gibb
f94b5da6
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
8d0a8e68
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
2c752b20
spell the aria label out loud
4mo ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
fa7764f7
reuse the existing chip instead of a new one
4mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago