git.iko.soy/jibb
on b5cdc80 help sign in
jibb/jibb-dev/lib
1 folder, 2 files
../ jibb/Prove source-backed generic union case tags jibb-import.hoonProve structural Hoon union overlaps jibb.hoonPreserve full-module overlap source evidence