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
std/src/
map.mo
October 2026
Anders Christiansen Sørby
43ab5401
pull the loader out of the component
3d ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3d ago
Anders Christiansen Sørby
7d8455d2
walk the parents once, not twice
1w ago
walk the parents once, not twice
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1w ago
Anders Christiansen Sørby
2a7416a3
fix the off-by-one in the page cursor
1w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1w ago
Anders Christiansen Sørby
9543ebf1
fix the off-by-one in the page cursor
1w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1w ago
Anders Christiansen Sørby
766f6aef
split the view out of the route
2w ago
split the view out of the route
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
Anders Christiansen Sørby
ef12b7cc
reuse the existing chip instead of a new one
2w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
September 2026
Anders Christiansen Sørby
f54b679e
defer the icon import
3w ago
defer the icon import
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3w ago
Anders Christiansen Sørby
be57eddf
walk the parents once, not twice
3w ago
walk the parents once, not twice
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3w ago
Anders Christiansen Sørby
92f247f6
name the magic number
3w ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3w ago
Anders Christiansen Sørby
b4a75625
make the toggle keyboard reachable
1mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
dcb4f4f4
cache the resolved handle for the session
1mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
db05a429
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
463acb3f
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
4d36418b
put the separator back between the rows
1mo ago
put the separator back between the rows
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
d90bae98
pull the loader out of the component
1mo ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
172c79d9
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
August 2026
Anders Christiansen Sørby
694569ab
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
4a6cbe4e
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
44bf9a93
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
f5e3130e
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
21445a1d
treat a missing body as empty, not null
2mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
401debcc
cache the resolved handle for the session
2mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
7286ae40
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
5eddab9e
round the sizes to the token scale
2mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
cbe211bb
pull the loader out of the component
2mo ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
1b5053fe
treat a missing body as empty, not null
2mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
July 2026
Anders Christiansen Sørby
467d4f62
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
c356a2a5
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
6f8bf913
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
c0695eb5
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
57554a4c
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
cb99a563
put the separator back between the rows
3mo ago
put the separator back between the rows
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
ddcbcaf5
round the sizes to the token scale
3mo ago
round the sizes to the token scale
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
June 2026
Anders Christiansen Sørby
5aa6c2bf
move the guard up to the boundary
3mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
34ca4d96
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
3f0b263a
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
466810f8
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
19f1a56d
drop the dead compatibility branch
4mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
2b80872f
handle the ref with a slash in it
4mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
269ddabf
cache the resolved handle for the session
4mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
May 2026
Anders Christiansen Sørby
ee0b1302
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
486058f1
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
64a90150
trim the trailing newline before hashing
5mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
d8a08aa6
defer the icon import
5mo ago
defer the icon import
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
76ca049d
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
a1807db7
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
10f0790c
walk the parents once, not twice
5mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
50badac6
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
April 2026
Anders Christiansen Sørby
6da7a8bb
split the view out of the route
5mo ago
split the view out of the route
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
6424447c
fix the off-by-one in the page cursor
5mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Previous
1
2
3
4
Next