Sign in
Join now
holbert-ng
liamoc.net
/
Star
Starred
Star
Something went wrong. Try again.
Fork
2
Eye filled
Watch
Watching
Watch
the next generation of the in-browser educational proof assistant
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
1
1
Pipelines
Pipelines
Version history of
rescript.json
October 2026
Liam O’Connor
8096563e
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3d ago
Liam O’Connor
9cf43444
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
4d ago
Liam O’Connor
20c9928f
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
6d ago
Liam O’Connor
ffeaa396
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
1w ago
Liam O’Connor
01fc9ddc
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
1w ago
Liam O’Connor
6d3d664e
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
1w ago
Liam O’Connor
e219d4d6
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
1w ago
Liam O’Connor
0b313dab
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
2w ago
Liam O’Connor
d7905649
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
2w ago
Liam O’Connor
f9c5f4f2
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
3w ago
Liam O’Connor
2a637fb8
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
4w ago
September 2026
Liam O’Connor
28050c0d
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
1mo ago
Liam O’Connor
7a5360e6
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
1mo ago
Liam O’Connor
b83f0988
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
Liam O’Connor
a470b077
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
Liam O’Connor
78751ae7
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
1mo ago
Liam O’Connor
0f5c3ee8
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1mo ago
Liam O’Connor
e86dd580
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
Liam O’Connor
8107fd90
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2mo ago
August 2026
Liam O’Connor
0e04c8cb
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
Liam O’Connor
6cb5c327
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
2mo ago
Liam O’Connor
3946434f
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
2mo ago
Liam O’Connor
c29afd9f
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2mo ago
Liam O’Connor
55a2f143
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
2mo ago
Liam O’Connor
aeec098d
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
2mo ago
Liam O’Connor
575c8a77
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
2mo ago
Liam O’Connor
658a1350
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2mo ago
Liam O’Connor
d45d0055
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2mo ago
July 2026
Liam O’Connor
77ae08d6
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
3mo ago
Liam O’Connor
ac7b666a
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3mo ago
Liam O’Connor
f0629ed6
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
Liam O’Connor
f13ff4a4
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
Liam O’Connor
12b1b026
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
3mo ago
Liam O’Connor
a27eac4d
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
3mo ago
Liam O’Connor
edb0b5d2
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3mo ago
Liam O’Connor
ce79cf37
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
Liam O’Connor
a61c7a19
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
4mo ago
Liam O’Connor
2ab644bf
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
June 2026
Liam O’Connor
72593aa2
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
4mo ago
Liam O’Connor
cb9d62cd
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
4mo ago
Liam O’Connor
b77cb13f
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
4mo ago
Liam O’Connor
d930e031
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
Liam O’Connor
bc9a8845
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Liam O’Connor
6ddccaee
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
4mo ago
Liam O’Connor
bfb98da0
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
4mo ago
Liam O’Connor
08a8ca25
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
4mo ago
Liam O’Connor
c3b7dc65
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
5mo ago
May 2026
Liam O’Connor
27a43c35
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
5mo ago
Liam O’Connor
cbe26846
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
5mo ago
Liam O’Connor
3a68ddee
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
5mo ago
Previous
1
2
Next