on 26554ac help sign in
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 ea5ed18Brief the change that drops $?Claude 5cc44b4Document the project and brief milestone 2Claude ab797a9Settle the doc's grammar questions in the parserClaude 5a4aa73Add tools/doc-blocks, which checks the doc's examplesClaude 7c739b7Harden the parser after two independent auditsClaude 3c5f50aImplement the parserClaude 15a5545Implement the layout passClaude 1cb51dfLay the foundation for milestone 1: parser design, tooling, desks, corpusClaude