on master help sign in
jibb/docs/spec
5 files
../ core-language.mdAdd source-defined qath inference and explicit proj decision decisions.mdAdd the theme mold and explicit unit syntax grammar.mdCompare constructor heads by noun value implementation-plan.mdStart type inference and Hoon imports overview.mdAdd the theme mold and explicit unit syntax