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/Versions/
Formula.lean
September 2026
Ryan Gibb
c5b65f63
name the magic number
3d ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
3d ago
Ryan Gibb
480434a4
split the view out of the route
4d ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
4d ago
Ryan Gibb
85a70598
walk the parents once, not twice
1w ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
75de39f1
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
ba74b7a8
make the toggle keyboard reachable
2w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
62918d55
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
August 2026
Ryan Gibb
47eb878c
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
641406b3
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
8f6967a9
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
ef87216d
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
ac50248b
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
4e382464
make the toggle keyboard reachable
1mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
83d115de
collapse the two nearly identical helpers
1mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
July 2026
Ryan Gibb
0a836f6a
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
8cb50cee
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
6edb9c0b
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
955f39ef
tighten the types around the response
2mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
9915ca6b
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
a9e7af79
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
ab01899b
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
c1f55e2c
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
87ad4c72
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
June 2026
Ryan Gibb
62642868
stop swallowing the parse error
3mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
1d4ba27b
split the view out of the route
3mo ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
2a8dc592
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
b712b3e1
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
24808a2b
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
080b7f53
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
0299e3fc
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
9cd10954
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
May 2026
Ryan Gibb
3358302c
cache the resolved handle for the session
4mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
6ef02fac
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
fee35b3b
read the default from the config
4mo ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
b16e471a
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
00cb7de3
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
f5c6a80e
stop swallowing the parse error
4mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
07288b59
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
April 2026
Ryan Gibb
04e584b7
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
31d829a5
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
3ebf117b
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
d8bda1f0
reuse the existing chip instead of a new one
5mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
0e55cc6d
stop the header from reflowing on hover
5mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
2456fcc5
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
1c0bff3c
stop swallowing the parse error
5mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
9bf02bc1
spell the aria label out loud
5mo ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
45909c29
drop the dead compatibility branch
5mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
ab628f5d
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
March 2026
Ryan Gibb
00874578
read the default from the config
6mo ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
6mo ago
Ryan Gibb
57b0c8c3
drop the dead compatibility branch
6mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
6mo ago
Ryan Gibb
1d22b54e
handle the ref with a slash in it
6mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
6mo ago
Previous
1
2
Next