greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update TODO

Browse Source
This commit is contained in:
greg 2019-04-29 23:57:59 -07:00
parent 2b8e2749a4
commit 14fc2a5d10
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
TODO.md
View File

@ -2,6 +2,8 @@
## Typechecking ## Typechecking
- look at https://rickyhan.com/jekyll/update/2018/05/26/hindley-milner-tutorial-rust.html
- cf. the notation mentioned in the cardelli paper, the debug information for the `typechecking` pass should - cf. the notation mentioned in the cardelli paper, the debug information for the `typechecking` pass should
print the generated type variable for every subexpression in an expression print the generated type variable for every subexpression in an expression