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/Core/
Definition.lean
September 2026
Ryan Gibb
93569638
name the magic number
3h ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
3h ago
Ryan Gibb
44f21435
cache the resolved handle for the session
1d ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
1d ago
Ryan Gibb
655359a8
stop swallowing the parse error
6d ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
6d ago
Ryan Gibb
509b1e30
defer the icon import
1w ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
05e9355f
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
abc37fd2
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
Ryan Gibb
93c85b8a
tighten the types around the response
3w ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
21b65692
make the toggle keyboard reachable
4w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
August 2026
Ryan Gibb
b23718a7
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
71ed9322
make the toggle keyboard reachable
1mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
c1b6d63b
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
0fcfb734
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
759eb7f8
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
3bd0edfb
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
2b9aa12e
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
d54a4dcc
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
370b8e60
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
a83bc0b6
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
July 2026
Ryan Gibb
c2d3a4e1
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
0605d39d
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
9f7a3982
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
11078f27
treat a missing body as empty, not null
2mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
861fcdfa
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
f4ad628c
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
c813e320
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
a96ecbbd
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
ad79b494
stop swallowing the parse error
2mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
5a2e4fdb
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
445e6113
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
aebc92b9
collapse the two nearly identical helpers
3mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
bba7ee65
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
6b75dbed
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
ce52ec76
stop swallowing the parse error
3mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
fae4a7e9
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
d23ec38b
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
c56ba613
defer the icon import
3mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
May 2026
Ryan Gibb
6ffc4913
put the separator back between the rows
3mo ago
put the separator back between the rows
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
8ee9bca1
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
0b663351
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
6cd6a21c
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
2b135c18
tighten the types around the response
4mo ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
85a21a4e
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
e44080a4
treat a missing body as empty, not null
4mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
6dfa5822
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
45d50d7f
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
c805aef0
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
April 2026
Ryan Gibb
83a92cd4
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