git.iko.soy/jibb
on b5cdc80 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.mdPreserve full-module overlap source evidence development.mdPreserve full-module overlap source evidence open-questions.mdCompare constructor heads by noun value prelude-inventory.mdProve source-backed generic union case tags status.mdPreserve full-module overlap source evidence