on 5c73614 help sign in
jibb/docs/spec
5 files
../ core-language.mdStart type inference and Hoon imports decisions.mdValidate Ford imports and report type error sites grammar.mdValidate Ford imports and report type error sites implementation-plan.mdStart type inference and Hoon imports overview.mdValidate Ford imports and report type error sites