git.iko.soy/jibb
on 142f2e2 help sign in
history ofdocs/development.md
all commits
142f2e2Prove structural Hoon union overlapsiko 179d717Diagnose source-proven Hoon union overlapsiko cc8e389Add source-backed list length and todo regressioniko 651b8ecInfer direct higher-order gates from sourceiko 706035cAnalyze gate-free source moldsiko 72acdb3Infer nested tagged-union payloads from contextiko 911ca0cCompare constructor heads by noun valueiko a1c5f35Infer the todo API request interfacesiko dde791cInfer a source-backed API request gateiko ae1ec26Recognize default-wrapped imported unionsiko 3f55af7Add source-backed transparent requestsiko 445a0a1Retain source-backed API path evidenceiko 640a442Add source-backed like result mappingiko 81af5fdPreserve public generic union alias namesiko 1a891e2Infer source-backed arithmetic without loobeansiko 75f5952Check explicit record projectionsiko 0ea700dAdd source-defined qath inference and explicit proj decisioniko 80e221aInfer supported annotation holes and prelude list aliasesiko c690076Import named ordered maps and infer predicate branchesiko 413b12bPropagate call context and batch ship deletionsiko beada10Analyze API paths and import Ford union marksiko c790a9fExpose transparent poke from internal preludeiko c8f894aContextualize union branches and report nested tagsiko 45afb13Scope local capitals and report direct import errorsiko 3f90fa8Prepare shared partial prelude interfacesiko 4406f6fResolve contextual tags and check Hoon union casesiko 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 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 5cc44b4Document the project and brief milestone 2Claude