Viewing profile — heinrich-lunge
heinrich-lunge
HN member- Joined
- Mon, May 25, 2020, 3:43 AM UTC
- HN karma
- 9
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About heinrich-lunge
No profile information was provided.
Recent public activity
-
comment
Comment #23304671
Dependent types are a language feature, simply adding two types --- the dependent product / exponential / function type, and the dependent sum / product / tuple type. You can defin…