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