Repository navigation
A reference is read for everything it says, with patience - #1412
Merged
Merged
Conversation
The first pass over #1409's book was its table of contents turned into a list of features to add. The maintainer pointed out what that misses: the methods of proof the text teaches, which #746's proof engine is built from; every example and exercise, which is a test case; what the text says is wrong in an existing design -- mod as an operator where the mathematics has a relation; and the cross-check of a convention against other sources before it is adopted. The section says so, and what the output of a reading is. Part of #1409. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The section AGENTS.md was missing, after the first pass over #1409's book turned its table of contents into a feature list: a reference is read through, and what comes out of it is the objects and notation, the operations, the methods of proof (the material of #746's proof engine), what the text says is wrong in an existing design (
modas an operator where the mathematics has a relation), and every example and exercise as a test case — with conventions cross-checked against other sources before they are adopted. The output is a document with those lists, and the docket is derived from it.Part of #1409.
🤖 Generated with Claude Code
https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura