Viewing profile — jcsmnt0
jcsmnt0
HN member- Joined
- Wed, Feb 06, 2013, 6:42 AM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About jcsmnt0
No profile information was provided.
Recent public activity
-
comment
Comment #6293294
Thank you so much for that second link! I've been interested recently in how dependently typed languages can be made more natural for general-purpose programming, and this looks li…