alpha
Login
Join now
anders.sorby.xyz
/
monad
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.
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
init/src/
string.mo
October 2026
Anders Christiansen Sørby
3601f514
spell the aria label out loud
1d ago
spell the aria label out loud
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1d ago
Anders Christiansen Sørby
ef80346f
treat a missing body as empty, not null
1w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1w ago
Anders Christiansen Sørby
43492df3
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1w ago
Anders Christiansen Sørby
f1dc6333
pull the loader out of the component
2w ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
Anders Christiansen Sørby
fa313071
pull the loader out of the component
2w ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
Anders Christiansen Sørby
8f831edc
round the sizes to the token scale
2w ago
round the sizes to the token scale
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
Anders Christiansen Sørby
c13a7a35
round the sizes to the token scale
2w ago
round the sizes to the token scale
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
September 2026
Anders Christiansen Sørby
dc86ae43
stop the header from reflowing on hover
3w ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3w ago
Anders Christiansen Sørby
0764748a
move the guard up to the boundary
3w ago
move the guard up to the boundary
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3w ago
Anders Christiansen Sørby
d314ba2b
trim the trailing newline before hashing
1mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
87938b28
fix the off-by-one in the page cursor
1mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
d314abe9
read the default from the config
1mo ago
read the default from the config
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
b8938344
reuse the existing chip instead of a new one
1mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
b9e96120
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
f8e442d8
collapse the two nearly identical helpers
1mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
b86adac0
keep the empty state on one line
1mo ago
keep the empty state on one line
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
71f3f031
trim the trailing newline before hashing
1mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
24e03410
round the sizes to the token scale
1mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
August 2026
Anders Christiansen Sørby
45084c30
keep the empty state on one line
1mo ago
keep the empty state on one line
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
bdcdaf60
let the caller pass its own fetch
1mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
5d5b1b81
split the view out of the route
2mo ago
split the view out of the route
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
4a8f1080
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
2e756843
walk the parents once, not twice
2mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
e6ff5494
handle the ref with a slash in it
2mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
6039c717
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
July 2026
Anders Christiansen Sørby
731dea9a
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
963f86b9
read the default from the config
2mo ago
read the default from the config
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
322fdd25
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
9af8cc62
reuse the existing chip instead of a new one
3mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
04dccb1d
trim the trailing newline before hashing
3mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
6b3dfc77
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
0b589f66
tighten the types around the response
3mo ago
tighten the types around the response
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
484d4f22
reuse the existing chip instead of a new one
3mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
June 2026
Anders Christiansen Sørby
430743fa
collapse the two nearly identical helpers
3mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
ef416621
keep the empty state on one line
4mo ago
keep the empty state on one line
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
37dfe26a
fix the off-by-one in the page cursor
4mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
ee011610
reuse the existing chip instead of a new one
4mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
01f9b005
name the magic number
4mo ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
a3daabdd
round the sizes to the token scale
4mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
9fc79574
stop the header from reflowing on hover
4mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
May 2026
Anders Christiansen Sørby
df9c1ed5
split the view out of the route
4mo ago
split the view out of the route
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
182de018
treat a missing body as empty, not null
5mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
4b706d01
put the separator back between the rows
5mo ago
put the separator back between the rows
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
564240ee
stop swallowing the parse error
5mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
631ed963
pull the loader out of the component
5mo ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
e441c6ad
round the sizes to the token scale
5mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
April 2026
Anders Christiansen Sørby
febf8973
keep the empty state on one line
5mo ago
keep the empty state on one line
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
e795e44b
cache the resolved handle for the session
5mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
02746f3a
name the magic number
6mo ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
6mo ago
Anders Christiansen Sørby
12887ee7
defer the icon import
6mo ago
defer the icon import
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
6mo ago
Previous
1
2
3
Next