Skip to content

v4.13.0-rc3
Compare
Choose a tag to compare
@Seasawher Seasawher released this 04 Oct 17:41
· 423 commits to main since this release
v4.13.0-rc3
a80f935
This commit was signed with the committer’s verified signature.
Seasawher Kitamado
SSH Key Fingerprint: PGmOryZ2gJ1E5m6h5KaSPPmBCsv9sbBuDEpwFuJ51NM Learn about vigilant mode.

What's Changed

  • 浮動小数点数をなるべく正確に表示させる方法 by @Seasawher in #928
  • <;> の名前は？seqFocusでよいのか？ by @Seasawher in #931
  • hygine というオプションを紹介する by @Seasawher in #935
  • 「帰納型」や「構造体」もリンクにする by @Seasawher in #936
  • hygiene の綴りのミス by @Seasawher in #938

Full Changelog: v4.12.0...v4.13.0-rc3

Contributors

Seasawher
Assets 2
Loading