monad-lang.org / monad
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming
Star
Fork 0
Watch

docs: update use/open and attribute examples to explicit {}/#[...] syntax master

Every code example across docs/src/*.md and AGENTS.md showing `use`/ `open` now uses explicit `{names}` (or `{}`/`{*}` where appropriate) instead of bare form, and every `@[...]` example is now `#[...]`, with a one-line note that the old spellings still parse but are deprecated. Matches the tree-wide source conversion from the previous two commits. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

Author Anders Christiansen Sørby Co-author Claude Sonnet 5 Date Commit 85c03991 Parent 33363b82