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/Visibility/
Definition.lean
September 2026
Ryan Gibb
811a7f0f
stop the header from reflowing on hover
38m ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
38m ago
Ryan Gibb
ed0163dd
spell the aria label out loud
1d ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
1d ago
Ryan Gibb
278a85bd
split the view out of the route
5d ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
5d ago
Ryan Gibb
439057ef
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
10a79087
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
63773790
defer the icon import
2w ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
d63542ef
make the toggle keyboard reachable
3w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
7723e9e6
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
83291707
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
c6f48faa
make the toggle keyboard reachable
3w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
708e23db
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
b00d5420
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
8b555988
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
ee59370e
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
6cef262d
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
Ryan Gibb
6fb91664
cache the resolved handle for the session
1mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
b6a663eb
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
4eb5e864
trim the trailing newline before hashing
1mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
July 2026
Ryan Gibb
55037809
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
960372e8
stop swallowing the parse error
2mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
3fc5691d
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
5ddbf646
read the default from the config
2mo ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
a6fa9cac
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
ab123b22
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
f4c8d40b
round the sizes to the token scale
2mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
June 2026
Ryan Gibb
66bffcbb
round the sizes to the token scale
2mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
7eb979e2
move the guard up to the boundary
3mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
3683aeb3
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
8977de21
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
4cc125f2
move the guard up to the boundary
3mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
09772ce8
move the guard up to the boundary
3mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
058d178b
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
548dd4c0
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
7dc2a287
handle the ref with a slash in it
3mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
392f2441
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
May 2026
Ryan Gibb
0fceddd2
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
Ryan Gibb
bcf97c4c
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
25f55980
walk the parents once, not twice
4mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
04b25df8
stop swallowing the parse error
4mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
7be7a95c
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
Ryan Gibb
84820c3a
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
0d8ee0e8
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
b4a77922
stop swallowing the parse error
5mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
9dd5cd6b
tighten the types around the response
5mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
4ce040e4
read the default from the config
5mo ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
d74fba88
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
fb19c21f
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
ae789696
stop swallowing the parse error
5mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
74b362ba
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
e2eec1e5
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
Previous
1
2
3
Next