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/
reference.md
October 2026
Anders Christiansen Sørby
b69c8795
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
9612b2ba
put the separator back between the rows
5d ago
put the separator back between the rows
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5d ago
Anders Christiansen Sørby
a34ac024
read the default from the config
1w ago
read the default from the config
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1w ago
Anders Christiansen Sørby
f017b83e
make the toggle keyboard reachable
1w ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1w ago
Anders Christiansen Sørby
4db59313
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
September 2026
Anders Christiansen Sørby
00983b41
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
Anders Christiansen Sørby
63224fc1
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
ed772500
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
244e510c
trim the trailing newline before hashing
3w ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3w ago
Anders Christiansen Sørby
dc265bb8
let the caller pass its own fetch
3w ago
let the caller pass its own fetch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3w ago
Anders Christiansen Sørby
88b6c936
fix the off-by-one in the page cursor
4w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4w ago
Anders Christiansen Sørby
0e9af9bd
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
fc26b2b2
tighten the types around the response
1mo ago
tighten the types around the response
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
Anders Christiansen Sørby
b1a80a9e
stop the header from reflowing on hover
1mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1mo ago
August 2026
Anders Christiansen Sørby
633a7877
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
0e1c8723
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
829cfb46
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
db8fc92b
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
d835c031
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
f53ac378
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
e112e755
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
60a2215e
reuse the existing chip instead of a new one
2mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
July 2026
Anders Christiansen Sørby
e9844274
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
f77ed7d9
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
3932c8d8
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
9909da7d
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
7e81c390
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
c9a7380c
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
46998134
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
d410e943
cache the resolved handle for the session
3mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
94587ad4
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
76fde346
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
June 2026
Anders Christiansen Sørby
2bc348a3
keep the empty state on one line
3mo ago
keep the empty state on one line
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
d782166b
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
5f44eb9f
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
f3a79ffc
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
85794222
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
31f5397a
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
2caa5bb6
keep the empty state on one line
3mo ago
keep the empty state on one line
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
7bc3059d
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
02fded7c
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
3caa2a8d
pull the loader out of the component
4mo ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
fb1a1be1
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
6ba5710e
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
edaac4ae
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
be50f230
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
May 2026
Anders Christiansen Sørby
7bd7e43f
pull the loader out of the component
4mo ago
pull the loader out of the component
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
02f5a1c8
read the default from the config
4mo ago
read the default from the config
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
f04665be
treat a missing body as empty, not null
4mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
d90ded08
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
Previous
1
2
3
Next