docs(wiki): accurate betlang language page (replaces stale placeholder)#84
Merged
Merged
Conversation
The betlang language page was a thin placeholder describing a generic sampling/inference PPL (bernoulli/sample/observe/infer). It omitted the actual language: the ternary (bet A B C) lazy core, the probabilistic-CAS framing, Echo structured-loss types (functor/comonad surface), the 14-system uncertainty number tower, and the Lean 4 axiom-free metatheory. Rewritten accurately in the umbrella house style, cross-linking betlang's in-repo wiki and the upstream echo-types spine. https://claude.ai/code/session_01QGi8GND5yNWgDyfReVEPYs
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
2 participants
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.
Replace the stale
betlangwiki page with an accurate onewiki/languages/betlang.mdwas a thin placeholder describing a generic sampling/inference PPL (bernoulli/sample/observe/infer) — it misrepresented the language. The rewrite reflects what BetLang actually is, in the umbrella house style:(bet A B C)lazy core + variants;echo-types;Cross-links betlang's in-repo
wiki/and theecho-types/EchoTypes.jlspine.Note (separate, owner-side)
nextgen-languages'
estate-standardization-20260607branch is superseded bymain(main already hasbot_directives/{hypatia,gitbot-fleet,git-private-farm}.a2ml,Bustfile/Dustfile, k9 svcs that the branch lacks, and the branch would re-introduce flattened submodules). Recommend deleting it — branch deletion is blocked from this environment (git proxy403), so it's an owner UI action.https://claude.ai/code/session_01QGi8GND5yNWgDyfReVEPYs
Generated by Claude Code