Qq ライブラリに言及し、使い方をきちんと説明する

[Seasawher]

メタプログラミングをやっていくうえで必須の知識であるが、metaprogramming in lean には解説がない。
まとまった解説がどこかにあるとありがたいだろう。