nock-specification-reference
CommunityAuthoritative Nock specification reference.
Authortoplyr-narfur
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides a definitive and comprehensive reference for the Nock programming language, resolving ambiguities and ensuring correct implementation or understanding of its formal semantics.
Core Features & Use Cases
- Formal Reduction Rules: Detailed breakdown of all 13 Nock reduction rules (0-12).
- Pseudo-Functions: Explanations of Nock's core operators like slot (
/), type test (?), increment (+), and equality (=). - Crash Conditions: A complete list of scenarios that lead to Nock evaluation crashes.
- Type System & Properties: Definitions of Nouns, Loobean logic, and formal properties like determinism and purity.
- Use Case: When debugging a Hoon interpreter or verifying the correctness of a Nock computation, consult this Skill for the exact specification of each reduction rule and its behavior.
Quick Start
Provide the formal specification for Nock rule 6.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: nock-specification-reference Download link: https://github.com/toplyr-narfur/urbit-skills/archive/main.zip#nock-specification-reference Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.