From 82a2d55775eee2e34a26972774aaa6c5c0946743 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Sat, 29 Nov 2025 23:09:35 -0500 Subject: Add lint and build commands to AGENTS.md for agent context The AGENTS.md file has been updated correctly. The "Common Commands" sec Task-Id: t-188 --- AGENTS.md | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index c345093..37b1cc2 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -46,6 +46,35 @@ jr task create "Command X fails when Y" --discovered-from= --js - `_/tmp/` - Temporary files, test databases, scratch data - Never create dotfile directories (like `.tasks/`) in the repo root +## Common Commands + +**Build:** +```bash +bild Omni/Jr.hs # Build a Haskell namespace +bild Biz/Cloud/Api.py # Build a Python namespace +``` + +**Lint and Format:** +```bash +lint Omni/Cli.hs # Lint a file (DO NOT use hlint directly) +lint --fix **/*.py # Lint and auto-fix Python files +``` + +**Type Check:** +```bash +typecheck.sh Omni/Bild/Example.py # Run mypy on Python files +``` + +**Test:** +```bash +bild --test Omni/Jr.hs # Build and run tests for a namespace +``` + +**Run:** +```bash +Omni/Ide/run.sh Omni/Jr.hs # Build (if needed) and run +``` + ## Documentation - **Project Context**: [README.md](README.md) - Goals, source layout, and coding conventions. -- cgit v1.2.3