on ad46655 help sign in
jibb/tests
11 folders
../ checker/Start type inference and Hoon imports clay-fixtures/Infer unit patterns and recursive Hoon identities golden/Import Hoon noun types importer/Import source-verified tagged Hoon unions lib/Import Hoon noun types type-import-diagnostic/Expose transparent poke from internal prelude type-import/Import Hoon noun types type-mark/Cache library interfaces and import record faces type-module-scope/Infer local recursive groups and uncontextualized lists type-poke/Expose transparent poke from internal prelude type-tlon/Contextualize union branches and report nested tags