proof · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof

24 files

gildrb.com · bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30) · 3w ago

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_enter_on_row.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_enter_without_row.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_ffi_answers.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_ffi_left_over.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_ffi_malformed.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_ffi_menu_round_trip.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_ffi_out_round_trip.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_ffi_res_round_trip.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_ffi_round_trip.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_ffi_witness.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_free_takes_rest.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_memory_model_example.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_memory_model_keys_example.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_menu_lists_children.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_menu_names_first_word.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_menu_shut_off_path.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_path_runs_itself.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_stale_row_ignored.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_stray_is_not_a_command.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_tab_completes_row.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_tab_without_row.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

command_unknown_runs_nothing.bend

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)

bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30)