Skip to content

docs: relocate KRL architecture map out of tangle (Tangle/KRL disambiguation)#39

Merged
hyperpolymath merged 3 commits into
mainfrom
claude/practical-newton-9eFe2
Jun 6, 2026
Merged

docs: relocate KRL architecture map out of tangle (Tangle/KRL disambiguation)#39
hyperpolymath merged 3 commits into
mainfrom
claude/practical-newton-9eFe2

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

Removes docs/krl_map.html from tangle — it is KRL-specific content that belongs in the krl repo (relocated there; that repo's README.adoc links to it).

Part of the Tangle/KRL disambiguation: Tangle is the knot-theoretic, Turing-complete programming language; KRL is one downstream dialect/application in its own repo. This is the first concrete cut — the broader doc disambiguation (the README.adoc title "Tangle / KRL", the "the KRL stack" framing in the PROOF-* docs) awaits the degree-of-separation decision.

Pairs with the krl PR that adds the file. The historical CHANGELOG.md reference is intentionally left (past-tense record — don't rewrite history).

https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2


Generated by Claude Code

…guation)

docs/krl_map.html is KRL-specific content that belongs in the krl repo (whose
README links to it). Tangle is the knot-theoretic programming language; KRL is
one downstream dialect/application with its own repo. Moved to
krl/docs/krl_map.html.

https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2
@hyperpolymath hyperpolymath marked this pull request as ready for review June 6, 2026 17:31
@hyperpolymath hyperpolymath enabled auto-merge (rebase) June 6, 2026 17:31
@hyperpolymath hyperpolymath disabled auto-merge June 6, 2026 17:36
@hyperpolymath hyperpolymath merged commit 3ddb1d8 into main Jun 6, 2026
9 of 18 checks passed
@hyperpolymath hyperpolymath deleted the claude/practical-newton-9eFe2 branch June 6, 2026 17:36
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.

2 participants