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/
Soundness.lean
September 2026
Ryan Gibb
d85cd1ca
tighten the types around the response
2d ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
2d ago
Ryan Gibb
ae18b317
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
9775191a
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
19a536c1
fix the off-by-one in the page cursor
2w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
cb7f108a
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
82424e84
make the toggle keyboard reachable
2w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
a234d94a
drop the dead compatibility branch
3w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
7b4cf953
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
884d87cf
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
3ae364b8
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
720eb992
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
41fa3346
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
6fee8e25
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
8535d0cb
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
21073965
read the default from the config
1mo ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
July 2026
Ryan Gibb
fb0c515c
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
a45ac2a9
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
4da36461
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
315a5496
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
ba67cd60
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
8f1509a2
reuse the existing chip instead of a new one
2mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
b7659ef4
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
d389b950
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
3215fe18
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
945c5830
cache the resolved handle for the session
2mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
June 2026
Ryan Gibb
166c4841
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
bf6ec200
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
b2158506
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
fc24e5c8
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
e1f753a4
treat a missing body as empty, not null
3mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
abd1c375
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
May 2026
Ryan Gibb
7a10c073
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
53312e7f
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
8e6c42cc
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
06566b3b
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
f51ca451
tighten the types around the response
4mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
2cd8f6c5
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
8e930a68
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
894df651
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
April 2026
Ryan Gibb
613a9fa0
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
d03345d5
let the caller pass its own fetch
5mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
5e80760c
let the caller pass its own fetch
5mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
218f1dba
move the guard up to the boundary
5mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
91d4b2f9
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
77a0e27d
name the magic number
5mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
March 2026
Ryan Gibb
4c19bd68
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
64608312
cache the resolved handle for the session
6mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
6mo ago
Ryan Gibb
f38103f5
cache the resolved handle for the session
6mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
6mo ago
Ryan Gibb
b9166dc7
stop the header from reflowing on hover
6mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
6mo ago
Ryan Gibb
5165c937
spell the aria label out loud
6mo ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
6mo ago
Previous
1
2
Next