Skip to content

v1.4.20

Choose a tag to compare

View all tags
@abderrahim-lectures abderrahim-lectures released this 25 Jul 13:04
· 88 commits to master since this release
v1.4.20
257d7d3
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.20.md:

  • Fixed a rendering bug: a repeated > character leaking into the PDF from Chapter 1 §4's beta-reduction "Programmer's corner" box.
  • Fixed a print-unsuitable "The README states..." reference in the same chapter.
  • Added a verified worked example to the Motive glossary entry (a genuine "motive is not type correct" failure and its fix).
  • Added a second worked example to the Universal property entry (the free-monoid fact from Chapter 1 §1).
Assets 4
Loading