Skip to content

v1.4.19

Choose a tag to compare

View all tags
@abderrahim-lectures abderrahim-lectures released this 23 Jul 22:51
· 92 commits to master since this release
v1.4.19
1b369fa
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

See changelog/v1.4.19.md for the full itemized list:

  • Fixed a confusing Nat-overload in two Chapter 1 §3 Vec examples (Vec.replicate/Vec.dot switched to Int with non-sequential values).
  • Fixed a stale "Download PDF" badge in the root README (was pinned to v1.4.14).
  • Fixed a Π-type family/type conflation and a forward reference to Chapter 3 in Chapter 1 §3.
  • Fixed a LaTeX build crash caused by a Pandoc math-span whitespace rule (two instances).
Assets 4
Loading