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/Feature/Lifting/
Definition.lean
September 2026
Ryan Gibb
708c67d2
collapse the two nearly identical helpers
2d ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
2d ago
Ryan Gibb
010f9e4f
handle the ref with a slash in it
4d ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
4d ago
Ryan Gibb
4ce0052f
put the separator back between the rows
1w ago
put the separator back between the rows
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
88cb16bb
collapse the two nearly identical helpers
1w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
0ad8f4ef
stop swallowing the parse error
2w ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
4b4c7b4d
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
ecd2a4cb
walk the parents once, not twice
2w ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
0125da06
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
738d91fa
spell the aria label out loud
4w ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
0f5efdd1
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
5df91590
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
dc95de66
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
8f93855f
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
cb75649c
trim the trailing newline before hashing
1mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
f43ddcc7
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
45fe3662
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
July 2026
Ryan Gibb
ebdb6681
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
65121c5e
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
99f9a485
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
4220551a
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
94e5d7a4
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
661661d3
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
9b72d944
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
e6ff9f21
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
31af2ee6
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
24ad760b
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
June 2026
Ryan Gibb
d0904161
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
2b6f048e
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
ec61e1df
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
ded2eef7
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
49cb236e
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
4e4faa12
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
5c191444
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
159b2355
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
26dd8718
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
e10f977d
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
beb27a6a
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
f764bc1d
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
bbe0457f
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
0896153e
stop swallowing the parse error
4mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
8d367647
reuse the existing chip instead of a new one
4mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
4a90f76a
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
fb068cda
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
3f04e979
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
24296f50
pull the loader out of the component
5mo ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
133697b4
put the separator back between the rows
5mo ago
put the separator back between the rows
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
3351b801
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
1ca1cda8
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
55bb3b39
split the view out of the route
5mo ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Ryan Gibb
6bed635d
cache the resolved handle for the session
5mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Previous
1
2
Next