on 0ea700d help sign in
jibb/docs/spec
5 files
../ core-language.mdAdd source-defined qath inference and explicit proj decision decisions.mdAdd source-defined qath inference and explicit proj decision grammar.mdAdd source-defined qath inference and explicit proj decision implementation-plan.mdStart type inference and Hoon imports overview.mdParse type holes and reject duplicate record fields