on 0ea700d help sign in
jibb/tests
13 folders
../ checker/Start type inference and Hoon imports clay-fixtures/Parse type holes and reject duplicate record fields golden/Add source-defined qath inference and explicit proj decision importer/Parse type holes and reject duplicate record fields lib/Add source-defined qath inference and explicit proj decision type-api-paths/Analyze API paths and import Ford union marks type-import-diagnostic/Parse type holes and reject duplicate record fields type-import/Parse type holes and reject duplicate record fields type-list-alias/Infer supported annotation holes and prelude list aliases type-mark/Cache library interfaces and import record faces type-module-scope/Import recursive Tlon unions and prepare comparison interface type-poke/Expose transparent poke from internal prelude type-tlon/Contextualize union branches and report nested tags