on 7ff15f1 help sign in
jibb/docs/spec
5 files
../ core-language.mdStart type inference and Hoon imports decisions.mdContextualize finite patterns and record poke decision grammar.mdContextualize finite patterns and record poke decision implementation-plan.mdStart type inference and Hoon imports overview.mdContextualize finite patterns and record poke decision