git.iko.soy/jibb
on 9dd35c8 help sign in
9dd35c8Check finite boolean union patternsiko 9f1517eInfer whole-case union patterns and prelude turniko ddba633Infer top-level mutually recursive gatesiko 98c19cdInfer known string interpolationsiko 054e651Report nested imported mold errorsiko 45afb13Scope local capitals and report direct import errorsiko 10cbf9cInfer local recursion and classify importer errorsiko 7081198Clarify local type variable scopeiko 1470d18Infer recursive prelude list helpersiko 918acbdPreserve named samples in recursive gatesiko c7082e0Infer multi-argument callsiko d782b45Record type decisions and enforce capital equalityiko 9ab52e8Infer closed recursive branch resultsiko 7e69436Infer simple self-recursive gatesiko 671fe72Infer contextual list cellsiko a2a6ef5Infer exhaustive list patternsiko 29bd39fInfer contextual prelude list literalsiko 3f90fa8Prepare shared partial prelude interfacesiko 743dfd8Propagate union context through unit branchesiko e878edcInfer unit patterns and recursive Hoon identitiesiko 4d45d2fResolve contextual null literalsiko 56a899fInfer faced variables and imported collectionsiko e95ef8fBridge imported unions into inferenceiko 250564cInfer supported named generic unionsiko 0070584Propagate union context and read collection unionsiko 5c73614Print named and escaping union typesiko 4406f6fResolve contextual tags and check Hoon union casesiko edd9277Infer nonrecursive generic mold aliasesiko d8ac47dCache library interfaces and import record facesiko 8bf1b12Infer record faces and check nested Hoon unionsiko 529736aInfer supported library import graphsiko 8b9c9acTrack recursive import origins and local moldsiko 1b7dbaeInfer local definitions and parse module fixturesiko 2d5deb2Default decimal values and isolate import fixture failuresiko bd37989Import mark samples and strengthen partial inferenceiko 47a1f49Validate Ford imports and report type error sitesiko fbeaa83Generalize atom constraints and check Clay importsiko 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