Skip to content

docs: add AGENTS.md with project setup, build, test, and style guidance - #62

Open
awdemos wants to merge 1 commit into
scallop-lang:masterfrom
awdemos:add-agents-md
Open

docs: add AGENTS.md with project setup, build, test, and style guidance#62
awdemos wants to merge 1 commit into
scallop-lang:masterfrom
awdemos:add-agents-md

Commits

Commits on Aug 15, 2026