on 142f2e2 help sign in
jibb
7 folders, 2 files
docs/Prove structural Hoon union overlaps jibb-dev/Prove structural Hoon union overlaps jibb/Lay the foundation for milestone 1: parser design, tooling, desks, corpus my-app/Infer record faces and check nested Hoon unions tests/Prove structural Hoon union overlaps tools/Prove structural Hoon union overlaps vendor/Lay the foundation for milestone 1: parser design, tooling, desks, corpus .gitignoreLay the foundation for milestone 1: parser design, tooling, desks, corpus README.mdProve structural Hoon union overlaps