on ae1ec26 help sign in
jibb/docs/spec
5 files
../ core-language.mdAdd source-defined qath inference and explicit proj decision decisions.mdPreserve public generic union alias names grammar.mdInfer source-backed arithmetic without loobeans implementation-plan.mdStart type inference and Hoon imports overview.mdPreserve public generic union alias names