alpha
Login
Join now
dunhamsteve.bsky.social
/
newt
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Newt - a dependent typed programming language This is a mirror of the main github repository.
newt.cloakedarrow.com
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
scripts/
test
October 2026
Steve Dunham
9fa94f90
move the guard up to the boundary
1d ago
move the guard up to the boundary
Copy SHA
Browse repository
Steve Dunham
committed
1d ago
Steve Dunham
9de110b9
stop the header from reflowing on hover
4d ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Steve Dunham
committed
4d ago
Steve Dunham
ec68da90
handle the ref with a slash in it
1w ago
handle the ref with a slash in it
Copy SHA
Browse repository
Steve Dunham
committed
1w ago
Steve Dunham
959a3211
pull the loader out of the component
1w ago
pull the loader out of the component
Copy SHA
Browse repository
Steve Dunham
committed
1w ago
Steve Dunham
3f671377
move the guard up to the boundary
1w ago
move the guard up to the boundary
Copy SHA
Browse repository
Steve Dunham
committed
1w ago
Steve Dunham
454d8fab
pull the loader out of the component
2w ago
pull the loader out of the component
Copy SHA
Browse repository
Steve Dunham
committed
2w ago
September 2026
Steve Dunham
cf02e568
reuse the existing chip instead of a new one
3w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Steve Dunham
committed
3w ago
Steve Dunham
d1a42c73
fix the off-by-one in the page cursor
4w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Steve Dunham
committed
4w ago
Steve Dunham
10ed5390
let the caller pass its own fetch
1mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Steve Dunham
committed
1mo ago
Steve Dunham
6b2cdf78
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Steve Dunham
committed
1mo ago
Steve Dunham
2c1ce190
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Steve Dunham
committed
1mo ago
Steve Dunham
32d080c5
keep the empty state on one line
1mo ago
keep the empty state on one line
Copy SHA
Browse repository
Steve Dunham
committed
1mo ago
Steve Dunham
2d253cc3
let the caller pass its own fetch
1mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Steve Dunham
committed
1mo ago
August 2026
Steve Dunham
d2c5a18a
cache the resolved handle for the session
1mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Steve Dunham
committed
1mo ago
Steve Dunham
ed7c5129
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Steve Dunham
committed
1mo ago
Steve Dunham
80ebb30a
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Steve Dunham
committed
1mo ago
Steve Dunham
0ad0b74c
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Steve Dunham
committed
2mo ago
Steve Dunham
2fc60717
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Steve Dunham
committed
2mo ago
Steve Dunham
b22b5639
put the separator back between the rows
2mo ago
put the separator back between the rows
Copy SHA
Browse repository
Steve Dunham
committed
2mo ago
Steve Dunham
040c7e5b
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Steve Dunham
committed
2mo ago
July 2026
Steve Dunham
efad17c6
put the separator back between the rows
2mo ago
put the separator back between the rows
Copy SHA
Browse repository
Steve Dunham
committed
2mo ago
Steve Dunham
467cd779
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Steve Dunham
committed
2mo ago
Steve Dunham
467580db
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Steve Dunham
committed
2mo ago
Steve Dunham
9517a0bd
treat a missing body as empty, not null
3mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Steve Dunham
committed
3mo ago
Steve Dunham
427189e2
fix the off-by-one in the page cursor
3mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Steve Dunham
committed
3mo ago
Steve Dunham
7d3b278d
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Steve Dunham
committed
3mo ago
Steve Dunham
cf66917e
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Steve Dunham
committed
3mo ago
Steve Dunham
d0bc5aad
fix the off-by-one in the page cursor
3mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Steve Dunham
committed
3mo ago
Steve Dunham
6cc4791d
collapse the two nearly identical helpers
3mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Steve Dunham
committed
3mo ago
Steve Dunham
9172ec88
walk the parents once, not twice
3mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Steve Dunham
committed
3mo ago
June 2026
Steve Dunham
99480ee6
move the guard up to the boundary
3mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Steve Dunham
committed
3mo ago
Steve Dunham
645081ee
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Steve Dunham
committed
4mo ago
Steve Dunham
0661a798
treat a missing body as empty, not null
4mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Steve Dunham
committed
4mo ago
Steve Dunham
3511a652
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Steve Dunham
committed
4mo ago
Steve Dunham
f0b59e0c
walk the parents once, not twice
4mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Steve Dunham
committed
4mo ago
Steve Dunham
7beb131d
split the view out of the route
4mo ago
split the view out of the route
Copy SHA
Browse repository
Steve Dunham
committed
4mo ago
Steve Dunham
8929ab45
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Steve Dunham
committed
4mo ago
May 2026
Steve Dunham
2e8076bc
split the view out of the route
4mo ago
split the view out of the route
Copy SHA
Browse repository
Steve Dunham
committed
4mo ago
Steve Dunham
a7637db9
treat a missing body as empty, not null
4mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Steve Dunham
committed
4mo ago
Steve Dunham
260ab0bf
cache the resolved handle for the session
4mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Steve Dunham
committed
4mo ago
Steve Dunham
cf11f9f3
let the caller pass its own fetch
5mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Steve Dunham
committed
5mo ago
Steve Dunham
a1aa5bf7
read the default from the config
5mo ago
read the default from the config
Copy SHA
Browse repository
Steve Dunham
committed
5mo ago
Steve Dunham
36e99dfd
walk the parents once, not twice
5mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Steve Dunham
committed
5mo ago
Steve Dunham
54e64326
walk the parents once, not twice
5mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Steve Dunham
committed
5mo ago
Steve Dunham
ee62afdd
pull the loader out of the component
5mo ago
pull the loader out of the component
Copy SHA
Browse repository
Steve Dunham
committed
5mo ago
Steve Dunham
9935865b
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Steve Dunham
committed
5mo ago
Steve Dunham
3c8871b7
treat a missing body as empty, not null
5mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Steve Dunham
committed
5mo ago
April 2026
Steve Dunham
2a605572
make the toggle keyboard reachable
5mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Steve Dunham
committed
5mo ago
Steve Dunham
40c8c279
handle the ref with a slash in it
5mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Steve Dunham
committed
5mo ago
Steve Dunham
65e11d1e
drop the dead compatibility branch
6mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Steve Dunham
committed
6mo ago
Previous
1
2
3
4
Next