hole-driven-development | スキル詳細 | OpenClaw Study
型付きホール（Haskell、Lean 4、Rust）を持つ言語で、コンパイラがホール診断を提供する場合に使用 — コンパイラのループを自律的に実行します
型付きホール（Haskell、Lean 4、Rust）を持つ言語で、コンパイラがホール診断を提供する場合に使用 — コンパイラのループを自律的に実行します
このページは OpenClaw Skills 学習ハブの一部で、導入手順・カテゴリ導線・実践リンクを提供します。