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/VariableFormula/Reduction/
Soundness.lean
September 2026
Ryan Gibb
95d760bf
stop swallowing the parse error
1d ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1d ago
Ryan Gibb
e0a6c22c
cache the resolved handle for the session
6d ago
cache the resolved handle for the session
Copy SHA
Browse repository
Ryan Gibb
committed
6d ago
Ryan Gibb
3bd57743
split the view out of the route
1w ago
split the view out of the route
Copy SHA
Browse repository
Ryan Gibb
committed
1w ago
Ryan Gibb
dc0f93ea
tighten the types around the response
2w ago
tighten the types around the response
Copy SHA
Browse repository
Ryan Gibb
committed
2w ago
Ryan Gibb
0977777a
name the magic number
3w ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
233b786a
pull the loader out of the component
3w ago
pull the loader out of the component
Copy SHA
Browse repository
Ryan Gibb
committed
3w ago
Ryan Gibb
bd75e2a3
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
ee5baac5
walk the parents once, not twice
4w ago
walk the parents once, not twice
Copy SHA
Browse repository
Ryan Gibb
committed
4w ago
Ryan Gibb
2826d6f2
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
dbde83fd
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
beab5c1c
make the toggle keyboard reachable
1mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
8db3b3e4
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
7653f202
stop the header from reflowing on hover
1mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
39bd96f9
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
575c2f8b
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
279a3b75
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
97c048b0
let the caller pass its own fetch
1mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Ryan Gibb
committed
1mo ago
Ryan Gibb
6a0247d3
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
69d3e843
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
July 2026
Ryan Gibb
e336eea5
handle the ref with a slash in it
2mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
e8fc51fa
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
18c739bb
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
38564773
stop swallowing the parse error
2mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
231e04e1
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
9890d725
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Ryan Gibb
committed
2mo ago
Ryan Gibb
2b36eb98
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
0951c075
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
d971f9a1
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