git.iko.soy/jibb
on master help sign in
history ofREADME.md
all commits
a163965Recover direct program update contextiko 642d2c0Prove direct request watchability for programsiko 26bf7a7Recover direct program initializer contextiko b4703e7Check closed subscription-free program mainsiko aa277c9Recover prepared tuple initializers in reportsiko b5cdc80Preserve full-module overlap source evidenceiko 2826c93Report alias overlaps and retain deferred branch contextiko b93a94bProve source-backed generic union case tagsiko 22f3788Check empty molds and contextual cell branchesiko 72d85abResolve bounded deferred constructor constraintsiko 30b0a9eCheck source-proven recursive tree patternsiko d9d51e6Check source-proven recursive tree constructioniko c96597dTrack source-proven generic recursive identitiesiko 142f2e2Prove structural Hoon union overlapsiko 179d717Diagnose source-proven Hoon union overlapsiko beada10Analyze API paths and import Ford union marksiko c790a9fExpose transparent poke from internal preludeiko c8f894aContextualize union branches and report nested tagsiko 529736aInfer supported library import graphsiko 1b7dbaeInfer local definitions and parse module fixturesiko 2d5deb2Default decimal values and isolate import fixture failuresiko 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 ab797a9Settle the doc's grammar questions in the parserClaude 5a4aa73Add tools/doc-blocks, which checks the doc's examplesClaude 1cb51dfLay the foundation for milestone 1: parser design, tooling, desks, corpusClaude