Skip to content

v0.13.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@winitzki winitzki released this 29 Dec 22:25
· 43 commits to master since this release
v0.13.0
a991919

There are three major changes in this release:

  • Chapter 12 ("Traversable functors") is finished.
  • Added Appendix C about the LJT algorithm.
  • Some material was rearranged and the logical flow was improved in Chapter 5 ("Curry-Howard correspondence").
Assets 2
Loading