git.iko.soy/jibb
on 0ea700d help sign in
0ea700dAdd source-defined qath inference and explicit proj decisioniko ba1fec4Add source-backed bond prelude gateiko 80e221aInfer supported annotation holes and prelude list aliasesiko e3e184fParse type holes and reject duplicate record fieldsiko 4e472b5Pass known unions through polymorphic gatesiko 0bf6178Import recursive Tlon unions and prepare comparison interfaceiko c690076Import named ordered maps and infer predicate branchesiko 413b12bPropagate call context and batch ship deletionsiko ad0265eInfer command molds and single-case patternsiko ed9291eInfer term-headed pairs and import nested unionsiko fd2f288Infer nested fields of imported valuesiko e28f7beDiagnose value cycles and import null-tagged casesiko beada10Analyze API paths and import Ford union marksiko ad46655Import Hoon noun typesiko ef4772aImport Hoon loobean typesiko c790a9fExpose transparent poke from internal preludeiko 7ff15f1Contextualize finite patterns and record poke decisioniko 67f900eInfer local recursive groups and uncontextualized listsiko ef2ea71Import Hoon null singleton casesiko c8f894aContextualize union branches and report nested tagsiko ae35005Import source-verified tagged Hoon unionsiko d69cc52Infer longer cell patterns and unit helpersiko a140383Report missing union tags and infer unit helpersiko 264a436Infer contextual unit payloadsiko 0bc5113Infer record casts and unit constructioniko 54852d4Infer tuple contexts and record changesiko 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