git.iko.soy/jibb
on 142f2e2 help sign in
jibb/docs
2 folders, 6 files
../ prompts/Compare constructor heads by noun value spec/Compare constructor heads by noun value README.mdExtend partial type inference and Hoon imports compiler.mdProve structural Hoon union overlaps development.mdProve structural Hoon union overlaps open-questions.mdCompare constructor heads by noun value prelude-inventory.mdAdd source-backed comparison gates status.mdProve structural Hoon union overlaps