Open
Description
The type checking chapter is not finished, and does not even really talk about the process of type checking.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests
The type checking chapter is not finished, and does not even really talk about the process of type checking.