Sign in
Join now
eukhe
gildrb.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Coding agent with a memory of all things
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
eukhe
/
bend
/
run
6 files
at
bend/stackfix
gildrb.com
·
proofs: no misc files: a claim that calls nothing is logic (proof/base/logic/), every other topic keeps its function name; comments cite laws/ and proof/
·
2w ago
b6df8582
decision.bend
bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility
2w ago
measure.bend
bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility
2w ago
recovery.bend
bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility
2w ago
request.bend
bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility
2w ago
state.bend
proofs: no misc files: a claim that calls nothing is logic (proof/base/logic/), every other topic keeps its function name; comments cite laws/ and proof/
2w ago
step.bend
bend: run.bend, optchat.bend, theme.bend past 1,000 lines become folders, one module per responsibility
2w ago