on 67f900e help sign in
jibb/docs/spec
5 files
../ core-language.mdStart type inference and Hoon imports decisions.mdClarify local type variable scope grammar.mdClarify local type variable scope implementation-plan.mdStart type inference and Hoon imports overview.mdRecord type decisions and enforce capital equality