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/Concurrent/Reduction/
Soundness.lean
September 2026
Ryan Gibb
8bb2ae28
move the guard up to the boundary
21h ago
move the guard up to the boundary
Copy SHA
Browse repository
Ryan Gibb
committed
21h ago
Ryan Gibb
b11200a9
spell the aria label out loud
5d ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
5d ago
Ryan Gibb
089e180f
tighten the types around the response
5d ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
5d ago
Ryan Gibb
a3410a37
put the separator back between the rows
6d ago
put the separator back between the rows
Copy SHA
Browse repository
Ryan Gibb
committed
6d ago
Ryan Gibb
133c9d06
pull the loader out of the component
1w ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
676f043f
handle the ref with a slash in it
2w ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
f882b627
read the default from the config
2w ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
80616941
stop swallowing the parse error
2w ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
42508780
let the caller pass its own fetch
3w ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
fc751410
drop the dead compatibility branch
3w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
1b861373
keep the empty state on one line
3w ago
keep the empty state on one line
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
9056d202
treat a missing body as empty, not null
3w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
cfe59a22
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
2546ed22
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
2fde7350
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
de42400e
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
ba0f84a6
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
f940c036
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
8833083f
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
983e1fec
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
10996589
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
July 2026
Ryan Gibb
f9049992
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
b53abdc2
stop swallowing the parse error
2mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
dceb38d7
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
6ef97c1f
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
6bba711e
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
d9a5a060
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
e9925512
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
019cc530
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
e4b4b250
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
91312c0a
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
0870c0a8
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
79f1ca81
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
950aed3e
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
ea3a8e59
spell the aria label out loud
3mo ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
8b523ae8
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
6202cf71
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
c44de91e
trim the trailing newline before hashing
3mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
6bb7851e
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
78bb8460
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
40d706d3
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
f75d6e64
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
fd5c1da5
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
10a89039
trim the trailing newline before hashing
4mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
c0c16701
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
e94c584d
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
3a2bdbb9
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
8e2464e8
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
bcac58e5
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
9159b317
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Previous
1
2
3
Next