proof/shell · eukhe · Tangled

Sign in Join now

eukhe gildrb.com /

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

Coding agent with a memory of all things

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

eukhe /proof /shell

5 files

· shell: the approval gate of a step decided by the compiled core (new shell entry id 50) · 2w ago

shell: the approval gate of a step decided by the compiled core (new shell entry id 50)

shell_ffi_answers.bend

shell: the approval gate of a step decided by the compiled core (new shell entry id 50)

shell_ffi_exact.bend

shell: the approval gate of a step decided by the compiled core (new shell entry id 50)

shell_ffi_example.bend

shell: the approval gate of a step decided by the compiled core (new shell entry id 50)

shell_ffi_left_over.bend

shell: the approval gate of a step decided by the compiled core (new shell entry id 50)