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/Composition/FeatureConcurrent/Reduction/
Soundness.lean
September 2026
Ryan Gibb
d02c66df
walk the parents once, not twice
3d ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
3d ago
Ryan Gibb
5f6996b5
fix the off-by-one in the page cursor
6d ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
6d ago
Ryan Gibb
6944d736
trim the trailing newline before hashing
1w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
880efeb8
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
8164b486
treat a missing body as empty, not null
2w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
2ad0e5c0
make the toggle keyboard reachable
2w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
a892c7a9
defer the icon import
3w ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
4c442607
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
f25ec8cc
name the magic number
3w ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
3e5b58e3
spell the aria label out loud
3w ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
f60177af
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
4f085755
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
bbcd1f76
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
6ce99c67
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
a4d8329b
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
a956b8f1
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
b4d0678c
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
bb0b2e28
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
98a84d28
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
00d9ca26
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
0806ac41
read the default from the config
1mo ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
ab1208c0
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
61082ed5
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
64dff492
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
1f28a776
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
cad31410
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
53e3a52c
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
d778e13d
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
aa23424a
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
90274dd2
stop the header from reflowing on hover
2mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
12528291
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
1125785d
stop the header from reflowing on hover
2mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
June 2026
Ryan Gibb
af6374c4
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
9f097ef2
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
2411213a
keep the empty state on one line
3mo ago
keep the empty state on one line
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
6c73f05d
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
a5c64acb
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
f6c9a9f3
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
57c8bed8
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
a6043fec
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