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/
Definition.lean
September 2026
Ryan Gibb
7b177c56
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
e5543cb6
tighten the types around the response
1w ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
48924973
stop swallowing the parse error
1w ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
a89b4cef
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
4e7a81e6
name the magic number
2w ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
8ca9c22a
split the view out of the route
3w ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
18d52f82
tighten the types around the response
3w ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
August 2026
Ryan Gibb
39148e95
trim the trailing newline before hashing
4w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
d33f5ed5
reuse the existing chip instead of a new one
1mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
bbfe8cc6
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
a4e97252
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
58eb6868
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
bf5526b2
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
41b914ac
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
77eaff2e
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
69c3607c
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
July 2026
Ryan Gibb
129dbc1f
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
3ba23efb
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
2cf0ef7f
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
f166e362
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
6aae875e
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
9250d850
spell the aria label out loud
2mo ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
69510ee2
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
7b67f353
stop swallowing the parse error
2mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
June 2026
Ryan Gibb
fe32d7e5
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
fe9f74cc
tighten the types around the response
3mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
9c4a85eb
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
96a54995
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
8b265e1e
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
42e5cef2
tighten the types around the response
3mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
f206f518
walk the parents once, not twice
3mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
22f34035
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
d276d36d
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
2c17579a
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
0b149743
walk the parents once, not twice
3mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
1f21901a
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
38a8c69b
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
May 2026
Ryan Gibb
449e77d0
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
05b59a0e
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
e4c724f1
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
a120a4ae
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
86245eb4
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
Ryan Gibb
4a7436ed
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
6f8e8492
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
94cab2a6
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
April 2026
Ryan Gibb
4971415e
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
268cc7dd
walk the parents once, not twice
5mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
bc752be1
fix the off-by-one in the page cursor
5mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
fefe5fdb
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
e8bbb003
read the default from the config
5mo ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Previous
1
2
3
Next