Add With

[ehartford]

New language submission

Inclusion checklist

• The project is designed for LLMs or agents to author code (not a tool that uses LLMs at runtime — chatbots, autocomplete plug-ins, code-completion models are out of scope)
• One Markdown file added at src/content/languages/<slug>.md (the filename is the URL slug — lowercase, hyphen-separated, no spaces)
• Frontmatter validates against the Zod schema in src/content.config.ts (npm run build passes locally)
• One-liner is descriptive and neutral, not promotional
• No star counts, fork counts, version numbers, or commit counts hardcoded (these are refreshed weekly by GitHub Action)
• Self-classified camp with justification in the PR body below

Project summary

• Name: With
• URL: https://withlang.org
• Repo: withlang-dev/with
• Camp: adjacent (spans verification)

Justification

Disclosure: I'm the author of With, and I'm submitting it myself.

With is designed for agents and humans to author alike. It meets the bar on two of the signals in CONTRIBUTING.md:

• Minimal ceremony. The design rule in docs/mission.md is that no character the program already determines should have to be written, and a choice is spelled out only where two meanings remain. For an agent, that means less boilerplate to generate, and the explicit spellings that remain sit where an author is most likely to be silently wrong.
• Agent-facing tooling shipped with the compiler. with init writes an AGENTS.md and a CLAUDE.md into every new project (src/main.w, src/InitTemplates.w). Both contain a compact primer on With's syntax, ownership model, idioms and common mistakes, written for an AI assistant. The compiler is developed largely by agents under a human who rules on language design.

I've classified it as adjacent, with verification as a secondary camp for its compiler-checked ownership and leak-freedom (no contracts). I'm open to syntactic or another placement if review prefers it.

Every claim in the entry is checked against the repo. The pullquote is quoted from docs/mission.md. The code sample is from README.md. The self-hosting fixpoint check (with build :fixpoint) and the numbered rulings (docs/Design-Process.md) are both in the repo. date_appeared is 2026-02, when the repo was created and first committed to.

The crossrefs are Zero, Vera and ilo. The code sample has no blank lines inside <pre>, and the built page shows none of the rendering-breakage fingerprints.