菜单
hale 收录了来自 typednotes 的 1 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。
Look up the Haskell-to-Lean module mapping for the hale project. Use when porting a Haskell module, looking up which Lean module corresponds to a Haskell module, adding a new module to the mapping, or understanding the folder organization policy.