git.iko.soy/jibb
on bd37989 help sign in
jibb/docs
2 folders, 6 files
../ prompts/Validate Ford imports and report type error sites spec/Validate Ford imports and report type error sites README.mdExtend partial type inference and Hoon imports compiler.mdImport mark samples and strengthen partial inference development.mdImport mark samples and strengthen partial inference open-questions.mdValidate Ford imports and report type error sites prelude-inventory.mdValidate Ford imports and report type error sites status.mdImport mark samples and strengthen partial inference