Skip to content

capabilities: attempts at slightly clearer prose - #127

Merged
lsf37 merged 1 commit into
masterfrom
lsf37/capabilities
Jul 10, 2026
Merged

lsf37 merged 1 commit into
masterfrom
lsf37/capabilities

Conversation

@lsf37

@lsf37 lsf37 commented Jul 5, 2026

Copy link
Copy Markdown
Member
  • "possessor" has confused people before; simplify the sentence
  • fix typo (missing 'the')
  • avoid passive tense and 0th in the CSlot 0 sentence; rewrite into two sentences for more clarity
  • mention what info is while trying to keep it brief and add a reminder that 1 << x means 2^x

With thanks to Craig Christianson for the material in PR #102.

(Supersedes #102)

@lsf37
lsf37 requested a review from Indanz July 5, 2026 03:05
@lsf37 lsf37 mentioned this pull request Jul 5, 2026
Comment thread tutorials/capabilities/capabilities.md Resolved
Comment thread tutorials/capabilities/capabilities.md Resolved
- "possessor" has confused people before; simplify the sentence
- fix typo (missing 'the')
- avoid passive tense and 0th in the CSlot 0 sentence; rewrite into
  two sentences for more clarity
- mention what `info` is, trying to keep it brief, and add a reminder
  that `1 << x` means 2^x

With thanks to Craig Christianson for the material in PR #102.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37
lsf37 force-pushed the lsf37/capabilities branch from 0751100 to c77611a Compare July 10, 2026 02:25
@lsf37
lsf37 merged commit f48bb34 into master Jul 10, 2026
27 checks passed
@lsf37
lsf37 deleted the lsf37/capabilities branch July 10, 2026 02:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants