Merge pull request #29 from lean-ja/metapro-link

メタプログラミングの本のリンク修正 #28

Author: Seasawher

content/links.md

@@ -25,7 +25,7 @@ weight = 1
 * [Lean Manual](https://leanprover.github.io/lean4/doc/) Lean 言語の公式ドキュメント．
 * [Functional Programming in Lean](https://leanprover.github.io/functional_programming_in_lean/) 関数型プログラミング言語としての Lean の入門書．
 * [Mathematics in Lean](https://leanprover-community.github.io/mathematics_in_lean/) Lean でどのように数学を形式化するかを学ぶ教科書．初等整数論をはじめ，位相空間や測度も扱っています．
-* [Metaprogramming in Lean 4](https://github.com/leanprover-community/lean4-metaprogramming-book) Lean で独自のコマンドやタクティクを作るための方法を解説した本．
+* [Metaprogramming in Lean 4](https://leanprover-community.github.io/lean4-metaprogramming-book/) Lean で独自のコマンドやタクティクを作るための方法を解説した本．
 * [Natural Number Game 4](https://adam.math.hhu.de/#/g/hhu-adam/NNG4) Lean を使い，ペアノの公理から始めて自然数の基本的な性質を証明する初心者向けブラウザゲーム．
 * [Courses using Lean](https://leanprover-community.github.io/teaching/courses.html) Lean を題材とした講義のリスト．