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/
Lookup.lean
September 2026
Ryan Gibb
661c5949
reuse the existing chip instead of a new one
17h ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
17h ago
Ryan Gibb
d278793c
treat a missing body as empty, not null
1d ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
1d ago
Ryan Gibb
5e1e8f96
collapse the two nearly identical helpers
5d ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
5d ago
Ryan Gibb
1e78d30a
read the default from the config
6d ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
6d ago
Ryan Gibb
cf99b30a
drop the dead compatibility branch
1w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
ca2ffee6
handle the ref with a slash in it
1w ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
20d5ed86
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
54075966
stop the header from reflowing on hover
2w ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
247c6aef
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
bc45f315
round the sizes to the token scale
2w ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
fa444262
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
81560661
defer the icon import
3w ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
40d5d74d
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
e36b5e5e
split the view out of the route
4w ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
8031ecaf
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
ac33f2e2
tighten the types around the response
1mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
d48b8955
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
f6046563
collapse the two nearly identical helpers
1mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
c9a15b2e
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
2aec6dec
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
f263648a
collapse the two nearly identical helpers
1mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
48fc730d
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
1b2d2e3c
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
July 2026
Ryan Gibb
1cb420dc
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
c0533d4b
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
21d10fd3
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
a2910b5c
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
7aaf1f59
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
471cb59c
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
ca88510d
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
a69ae34d
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
2ead79d9
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
June 2026
Ryan Gibb
5440d201
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
04f59e73
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
1fa75fbf
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
3341e18b
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
6fac9848
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
e92a2414
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
8e15fb9c
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
cdf4c502
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
b6f4945b
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
1164c09d
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
69ba7cb7
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
8607cfff
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
15eccd7e
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
71c32759
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
72fc9b1c
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
1604baf1
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
616f3977
move the guard up to the boundary
4mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
2fa6ae85
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Previous
1
2
Next