skill
المهنة
الوصف
آخر تحديث
hol4-development
مطوّرو البرمجيات
Conventions, build commands, and idioms for working on the HOL4 codebase as software — editing `.sml`/`.sig`/`*Script.sml` files, running `bin/build` or `Holmake`, refactoring modules, cleaning up dead code or stale comments, and navigating HOL4's directory…
٢٦ يوليو ٢٠٢٦
holmake-development
مطوّرو البرمجيات
Working on Holmake itself — modifying `tools/Holmake/`, diagnosing why a target rebuilds spuriously, debugging the dep graph, understanding the three-phase `bin/build` flow, the heap-as-implicit-dep mechanism, BIC node semantics, the `HFS_NameMunge`…
٣٠ مايو ٢٠٢٦