v4.14.0-rc2

What's Changed

• sorry の舞台裏を説明する by @Seasawher in #1048
• Float が仮数と指数で表現されていることを示す by @Seasawher in #1050
• Bool を紹介する by @Seasawher in #1051
• Functor 型クラスを紹介する by @Seasawher in #1053
• HAdd 型クラスを紹介する by @Seasawher in #1055
• Array 型を紹介する by @Seasawher in #1062
• 「index in target's type is not a variable」エラーはいつ起こるのか？ by @Seasawher in #1064
• induction ... generalizing 構文とその制約を紹介する by @Seasawher in #1067
• Bump lycheeverse/lychee-action from 2.0.2 to 2.1.0 by @dependabot in #1071
• バージョン更新 by @Seasawher in #1072

Full Changelog: v4.13.0...v4.14.0-rc2