First part and revised introduction
Pre-release
Pre-release
·
64 commits
to main
since this release
This release adds chapters 4 and 5 (the core of part Bidirectional Typing for Dependent Types). Chapter 1 has also been rewritten a bit.