on master help sign in
all commits
24eabbeRemove Claude references from docsiko 1ba5022Add native Jibb formatteriko db206b5Record Montelot's syntax decisions of 2026-11-03Claude 7bc7d54Let the repository spec win, and keep settled questions in DecisionsClaude fb6373fRestore raw-poke command helpersiko 4bf477eCheck the unchanged cart store and basketiko 0517053Add the theme mold and explicit unit syntaxiko 911ca0cCompare constructor heads by noun valueiko 81af5fdPreserve public generic union alias namesiko 1a891e2Infer source-backed arithmetic without loobeansiko 0ea700dAdd source-defined qath inference and explicit proj decisioniko e3e184fParse type holes and reject duplicate record fieldsiko c790a9fExpose transparent poke from internal preludeiko 7ff15f1Contextualize finite patterns and record poke decisioniko 7081198Clarify local type variable scopeiko d782b45Record type decisions and enforce capital equalityiko 47a1f49Validate Ford imports and report type error sitesiko 26554acInfer atom constraints and inspect Clay typesiko be6d2a5Check atom widening and nested Hoon importsiko 51ce4d9Extend partial type inference and Hoon importsiko 1dd92a6Start type inference and Hoon importsiko a8dd227Record the rules for gates generic over aurasClaude aad6ddbDrop the union runeiko 5cc44b4Document the project and brief milestone 2Claude