Viewing profile — alanwang15
alanwang15
HN member- Joined
- Fri, Jan 25, 2019, 10:32 PM UTC
- HN karma
- 3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About alanwang15
No profile information was provided.
Recent public activity
-
comment
Comment #39876878
The claim about inferences rules in academic papers is false. Gentzen’s inference rules are usually used to specify how to type check and not type inference even though inference r…