agda instructions

1 tagged agda, measured the same way as everything else here.

emdash AGENTS.md

01

hotdocx/emdash

Instructions file CodexOpenCode

AGENTS.md instructions for hotdocx/emdash, covering repository guidance, scope and authority, package and worktree setup, starting a root typescript task and persistent goals and git experimentation.

2 2d ago A 2,268 tokens