Markdown for LLMs

Tutorials

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# Tutorials

a path for whoever writes a first package; each page is a compilable literate package, not a paraphrase of the specification

| Document |
|---|
| [First package: from rule to answer](/tutorials/first-package/) |
| [What we talk about: object, name, and record](/tutorials/vocabulary/) |
| [Four states of support](/tutorials/four-states/) |
| [Negation: when "no" must be proven](/tutorials/negation/) |
| [Norm against norm: defeat and priority](/tutorials/defeaters/) |
| [Closed world: when silence means "no"](/tutorials/closed-world/) |
| [A test in the language of law: .lawtest files](/tutorials/writing-tests/) |
| [Numbers and money](/tutorials/numbers/) |
| [Collections, aggregates, and data completeness](/tutorials/aggregates/) |
| [A real article: source and anchor](/tutorials/real-article-source/) |
| [From article text to norm — and where the language says "no"](/tutorials/real-article-rules/) |
| [Definitions, classifications, constraints, and fictions](/tutorials/definitions/) |
| [Presumptions and rebuttal](/tutorials/presumptions/) |
| [Reconciliation with the pinned edition](/tutorials/pinned-edition/) |
| [Time: the date of law, a rule window, and an edition](/tutorials/time/) |
| [Terms: calendar, policy, and the business-day step](/tutorials/deadlines/) |
| [Duty: who, what, and by when](/tutorials/duty/) |
| [Ban, liberty, power, and immunity](/tutorials/modalities/) |
| [Readings: a disputed norm stays disputed](/tutorials/interpretations/) |
| [From case material to admitted support](/tutorials/evidence/) |
| [Procedure: attempt, admissible transition, reached state](/tutorials/procedure/) |
| [Several packages and a world](/tutorials/packages/) |
| [Shared computation as a dependency](/tutorials/primitives/) |
| [Parameters and tables: when a norm is data](/tutorials/a3/) |
| [Why this answer was obtained](/tutorials/why/) |
| [A package in the corpus: manifest, scenarios, provenance, and checks](/tutorials/package/) |
| [Exercise 1. A second article of the rules](/tutorials/exercise-first-package/) |
| [Exercise 2. Four cases for one question](/tutorials/exercise-four-states/) |
| [Exercise 3. Two ways to say "not accredited"](/tutorials/exercise-negation/) |
| [Exercise 4. Suspension also closes the general room](/tutorials/exercise-defeaters/) |
| [Exercise 5. A guest pass for one missing from the registry](/tutorials/exercise-closed-world/) |
| [Exercise 6. A test on silence and a test on dispute](/tutorials/exercise-writing-tests/) |
| [Exercise 7. A bulk-order discount](/tutorials/exercise-numbers/) |
| [Exercise 8. The largest of the unpaid](/tutorials/exercise-aggregates/) |
| [Exercise 9. An anchor the compiler checks](/tutorials/exercise-real-article-source/) |
| [Exercise 10. The same date via two norms](/tutorials/exercise-real-article-rules/) |
| [Exercise 11. A document counts as lost](/tutorials/exercise-definitions/) |
| [Exercise 12. A return counts as timely](/tutorials/exercise-presumptions/) |
| [Exercise 13. A second article from the same bytes](/tutorials/exercise-pinned-edition/) |
| [Exercise 14. A transition period with two bounds](/tutorials/exercise-time/) |
| [Exercise 15. A complaint term in business days](/tutorials/exercise-deadlines/) |
| [Exercise 16. An extension moves the term, not cancels the duty](/tutorials/exercise-duty/) |
| [Exercise 17. A power to extend a visit](/tutorials/exercise-modalities/) |
| [Exercise 18. A third reading: reciprocity](/tutorials/exercise-interpretations/) |
| [Exercise 19. A digital receipt](/tutorials/exercise-evidence/) |
| [Exercise 20. Withdrawing an application](/tutorials/exercise-procedure/) |
| [Northbridge course](/tutorials/northbridge/) |
| [Northbridge solutions](/tutorials/northbridge/solutions/) |