Viewing profile — j14159
j14159
HN member- Joined
- Thu, May 16, 2013, 9:53 PM UTC
- HN karma
- 3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About j14159
No profile information was provided.
Recent public activity
-
comment
Comment #13956624
That's a good question and the short answer is that we're deliberately breaking decidability to allow people to use types that are relatively in line with what we're used to in Erl…