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/
process.mo
October 2026
Anders Christiansen Sørby
13d41685
move the guard up to the boundary
1d ago
move the guard up to the boundary
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1d ago
Anders Christiansen Sørby
01b76843
handle the ref with a slash in it
2d ago
handle the ref with a slash in it
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2d ago
Anders Christiansen Sørby
a897c4e0
cache the resolved handle for the session
4d ago
cache the resolved handle for the session
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4d ago
Anders Christiansen Sørby
fef08257
stop swallowing the parse error
6d ago
stop swallowing the parse error
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
6d ago
Anders Christiansen Sørby
652acd84
stop swallowing the parse error
1w ago
stop swallowing the parse error
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
1w ago
Anders Christiansen Sørby
a372c89f
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
a8144ad5
name the magic number
2w ago
name the magic number
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
September 2026
Anders Christiansen Sørby
1cf4f40d
drop the dead compatibility branch
2w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
Anders Christiansen Sørby
0b5eeb37
collapse the two nearly identical helpers
2w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2w ago
Anders Christiansen Sørby
27d685dc
drop the dead compatibility branch
3w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3w ago
Anders Christiansen Sørby
933c6d3b
split the view out of the route
4w ago
split the view out of the route
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4w ago
Anders Christiansen Sørby
8e2e7e0b
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
a817dba5
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
6890c208
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
August 2026
Anders Christiansen Sørby
a08d0913
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
09e21362
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
bd699aab
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
4c767ba8
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
08f2b5d6
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
ca991464
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
4173937b
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
Anders Christiansen Sørby
0519290d
make the toggle keyboard reachable
2mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
2mo ago
July 2026
Anders Christiansen Sørby
bfff8256
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
bd42bbc6
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
73a66a7f
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
9c92c6c9
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
7e11d169
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
1a7fafba
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
071fc7c5
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
8f06538b
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
7393cb1f
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
Anders Christiansen Sørby
3273aeee
split the view out of the route
3mo ago
split the view out of the route
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
Anders Christiansen Sørby
ee669917
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
04900e56
drop the dead compatibility branch
3mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
3mo ago
June 2026
Anders Christiansen Sørby
7cd9c16e
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
166ec120
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
e09a99c5
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
d5e7b70c
trim the trailing newline before hashing
4mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
e28a957e
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
36952980
tighten the types around the response
4mo ago
tighten the types around the response
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
48021462
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
66817fcd
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
0dfb308c
walk the parents once, not twice
4mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
4mo ago
Anders Christiansen Sørby
7dd63ad4
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
9f035154
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
a71b9c85
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
a9b9ef8e
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
3df8e2e9
move the guard up to the boundary
5mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Anders Christiansen Sørby
committed
5mo ago
April 2026
Anders Christiansen Sørby
503a20d8
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
b2a0dd1c
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
Previous
1
2
3
4
Next