git.iko.soy/jibb
on a211c34 help sign in
jibb/docs
3 folders, 6 files
../ prompts/Restore raw-poke command helpers reviews/Add a review of Jibb's syntax spec/Restore raw-poke command helpers README.mdAdd a review of Jibb's syntax compiler.mdFix checker regressions from the repository review development.mdFix checker regressions from the repository review open-questions.mdopen-questions: question 25 is settled by @iko's eq work prelude-inventory.mdInfer gate-free equality constraints status.mdFix checker regressions from the repository review