Gradual Typing
Pre-release
Pre-release
·
44 commits
to main
since this release
This release adds the bulk of the third part (Bidirectional Elaboration for Gradual Typing), namely chapters 9 and 10. There has been minor improvements elsewhere, especially regarding formatting of knowledges, hopefully it’s clearer now.