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
docs/src/
stdlib.md
October 2026
Anders Christiansen Sørby
cb5d66bb
treat a missing body as empty, not null
1d ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1d ago
Anders Christiansen Sørby
5a4b7ca7
trim the trailing newline before hashing
5d ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5d ago
Anders Christiansen Sørby
13ea62aa
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
September 2026
Anders Christiansen Sørby
12fdad81
keep the empty state on one line
2w ago
keep the empty state on one line
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
Anders Christiansen Sørby
1cecb799
cache the resolved handle for the session
2w ago
cache the resolved handle for the session
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
Anders Christiansen Sørby
0f176cd9
reuse the existing chip instead of a new one
3w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3w ago
Anders Christiansen Sørby
8d9d10aa
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
3b008933
make the toggle keyboard reachable
4w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4w ago
Anders Christiansen Sørby
edc1cf14
round the sizes to the token scale
4w ago
round the sizes to the token scale
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4w ago
Anders Christiansen Sørby
018aeedd
split the view out of the route
1mo ago
split the view out of the route
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
496560fa
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
81e3cfcd
split the view out of the route
1mo ago
split the view out of the route
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
62fe9a22
name the magic number
1mo ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
August 2026
Anders Christiansen Sørby
651c4022
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
8aac6795
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
c10c7f5d
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
f153caf4
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
ffee1e22
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
bac10617
handle the ref with a slash in it
1mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
f73a7ee5
tighten the types around the response
2mo ago
tighten the types around the response
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
2b8763ea
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
bc9c3cf2
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
e4b4d97d
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
57daf223
keep the empty state on one line
2mo ago
keep the empty state on one line
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
d26b2a43
spell the aria label out loud
2mo ago
spell the aria label out loud
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
46463668
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
4829f31f
stop swallowing the parse error
2mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
3c369545
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
34304674
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
6f358fe5
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
7cade9ef
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
d615a76e
read the default from the config
3mo ago
read the default from the config
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
June 2026
Anders Christiansen Sørby
c5ff02be
let the caller pass its own fetch
3mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
95020ec6
handle the ref with a slash in it
3mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
5e3f6397
fix the off-by-one in the page cursor
3mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
af2976de
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
65e5c570
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
9162f400
let the caller pass its own fetch
4mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
6f3a01c7
defer the icon import
4mo ago
defer the icon import
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
May 2026
Anders Christiansen Sørby
f04991e9
move the guard up to the boundary
4mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
f7828ede
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
d7b04bbd
put the separator back between the rows
4mo ago
put the separator back between the rows
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
12e17f54
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
Anders Christiansen Sørby
e1033514
move the guard up to the boundary
4mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
1144950a
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
972b187b
spell the aria label out loud
5mo ago
spell the aria label out loud
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
15e16cf9
handle the ref with a slash in it
5mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
April 2026
Anders Christiansen Sørby
e6c9ee69
collapse the two nearly identical helpers
5mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
38d5623b
name the magic number
5mo ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Anders Christiansen Sørby
0b052616
stop the header from reflowing on hover
5mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
Previous
1
2
3
Next