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/
Definition.lean
September 2026
Ryan Gibb
0c01cbbd
reuse the existing chip instead of a new one
22h ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
22h ago
Ryan Gibb
9847847b
handle the ref with a slash in it
1d ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
1d ago
Ryan Gibb
d8d47edf
put the separator back between the rows
5d ago
put the separator back between the rows
Copy SHA
Browse repository
Ryan Gibb
committed
5d ago
Ryan Gibb
2bfdeba7
stop swallowing the parse error
1w ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
490b72f1
keep the empty state on one line
1w ago
keep the empty state on one line
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
bf0b27f0
defer the icon import
2w ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
7d6605d0
keep the empty state on one line
2w ago
keep the empty state on one line
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
83dbf33d
walk the parents once, not twice
2w ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
5f393612
split the view out of the route
3w ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
3ed846ab
defer the icon import
4w ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
c2f28449
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
a73eb279
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
c984a95a
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
1caa61db
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
a8836afa
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
Ryan Gibb
b025646a
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
a6cc0ea8
reuse the existing chip instead of a new one
1mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
3c739f15
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
bb750b67
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
July 2026
Ryan Gibb
0e2bc937
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
2717d32d
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
1726086d
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
2009f495
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
a551c55b
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
ce708206
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
7573a305
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
June 2026
Ryan Gibb
6cb85090
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
baa06670
reuse the existing chip instead of a new one
3mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
e2f98f88
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
06653401
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
Ryan Gibb
5332cb2f
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
fb5adaca
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
May 2026
Ryan Gibb
a482aaff
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
84154605
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
Ryan Gibb
73cc066d
fix the off-by-one in the page cursor
4mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
dff1650c
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
3a4460d0
fix the off-by-one in the page cursor
4mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
5dbc9a0f
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
e6c342dc
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
86831c2c
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
April 2026
Ryan Gibb
bcb0f2ef
stop swallowing the parse error
5mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
eaad5486
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
a8ea7571
trim the trailing newline before hashing
5mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
acbc34f4
round the sizes to the token scale
5mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
603c46e6
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
acc7212d
keep the empty state on one line
5mo ago
keep the empty state on one line
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
e82ca331
defer the icon import
5mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
2da3bdd6
pull the loader out of the component
5mo ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
8f774a37
drop the dead compatibility branch
5mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
ee866559
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