hotdocx/emdash

emdash — Functorial Type Theory (proof-assistant for ω-categories)

2Stars on the repository
2Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

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