Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We use HIR to do type inference, trait solving and type checking (#1139)
* We use HIR to do type inference, trait solving and type checking * Update src/overview.md Co-authored-by: Yuki Okushi <[email protected]> * Update src/overview.md Co-authored-by: Yuki Okushi <[email protected]> * Update src/overview.md Co-authored-by: Noah Lev <[email protected]> * Fix type checking brief explanation Co-authored-by: Yuki Okushi <[email protected]> Co-authored-by: Noah Lev <[email protected]>
- Loading branch information