v4.15.0

What's Changed

• [macro_inline] 属性を紹介する by @Seasawher in #1196
• abbrev が @[reducible] def と同じという主張は根拠がない by @Seasawher in #1198
• qify のコード例が不適切 by @Seasawher in #1200
• zify を紹介する by @Seasawher in #1214
• 演習問題を削除する by @Seasawher in #1216
• CI を更新 by @Seasawher in #1220
• issue テンプレートを消す by @Seasawher in #1221
• #test コマンドを紹介する by @Seasawher in #1222
• push_cast を紹介する by @Seasawher in #1223
• show_term の項目を独立させる by @Seasawher in #1233
• hint タクティクの説明が不完全 by @Seasawher in #1235
• ring タクティクを新しい型に対して使う方法を示す by @Seasawher in #1245
• ring タクティクの説明の更新 by @Seasawher in #1248
• refine は、自明な部分を手軽に片すのにも使える by @Seasawher in #1251
• Nat を紹介する by @Seasawher in #1253
• linter エラーが設定を貫通する by @Seasawher in #1255
• use タクティクを紹介する by @Seasawher in #1257
• section の説明に「スコープ」という語を使わない by @Seasawher in #1260
• 単独で執筆していることを明記する by @Seasawher in #1264
• 「宣言的コマンド」「対話的コマンド」という用語が一般的でないことを注意する by @Seasawher in #1266
• 修飾子を宣言的コマンドから独立させる by @Seasawher in #1267
• private の例を protected のページに置かない by @Seasawher in #1271
• 複数ファイルからなる記事の扱いについて by @Seasawher in #1272
• List がモナドであることを説明する by @Seasawher in #1276
• version update by @Seasawher in #1277
• 三項演算のままになってる by @Seasawher in #1279
• termination_by はトップレベルコマンドではない by @Seasawher in #1280
• 暗黙の引数 {x y : A} を紹介する by @Seasawher in #1284
• by はタクティクではないことを注意する by @Seasawher in #1286
• lychee-action が動作していない by @Seasawher in #1290
• lychee のバージョンを敢えて下げる by @Seasawher in #1291
• mdgen のバグで #lint コマンドの出力をアサートできていない by @Seasawher in #1293

Full Changelog: v4.15.0-rc1...v4.15.0