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/PackageFormula/Reduction/
Definition.lean
September 2026
Ryan Gibb
07ad7895
handle the ref with a slash in it
12h ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
12h ago
Ryan Gibb
22153e87
round the sizes to the token scale
6d ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
6d ago
Ryan Gibb
d65551dd
cache the resolved handle for the session
1w ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
7d50efbc
drop the dead compatibility branch
2w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
2727553d
round the sizes to the token scale
2w ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
69d25e0e
name the magic number
3w ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
b6c83a7b
read the default from the config
4w ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
August 2026
Ryan Gibb
4aaaf802
read the default from the config
4w ago
read the default from the config
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
341a8977
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
9ec2825e
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
1925434a
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
193a0c23
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
6fae4246
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
f373478c
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
e5c3187d
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
f187db40
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
428fc1e0
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
9f5daa65
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
99560317
treat a missing body as empty, not null
1mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
July 2026
Ryan Gibb
c5521c0c
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
910c4f12
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
77eacf02
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
aec11f7e
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
ee3064e4
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
0325845e
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
2161d5f0
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
6ecdef8c
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
June 2026
Ryan Gibb
661f0aca
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
cec91cee
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
eb569993
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
Ryan Gibb
1bc35b2d
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
5e87b9bb
stop swallowing the parse error
3mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
ead7c010
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
d8137ae2
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
c52541f2
stop swallowing the parse error
3mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
8ad1a958
stop swallowing the parse error
3mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
Ryan Gibb
ad1f4019
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Ryan Gibb
committed
3mo ago
May 2026
Ryan Gibb
a737dc53
pull the loader out of the component
4mo ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
8f76581c
round the sizes to the token scale
4mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
3b189dc7
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
c67efcd7
spell the aria label out loud
4mo ago
spell the aria label out loud
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
3a093782
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
fb76c211
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
0e9cadbf
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
25fcaffc
fix the off-by-one in the page cursor
4mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
Ryan Gibb
2457afab
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
0e76a450
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
4mo ago
April 2026
Ryan Gibb
c8bd956f
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
7cd0a9a2
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
660ba543
handle the ref with a slash in it
5mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
5mo ago
Previous
1
2
Next