Viewing profile — andrew_jhnson_4
andrew_jhnson_4
HN member- Joined
- Mon, Jul 31, 2023, 12:12 AM UTC
- HN karma
- 2
- Public activity
- 6 items
- HN profile
- View on Hacker News ↗
About andrew_jhnson_4
No profile information was provided.
Recent public activity
- story
- story
- story
- story
-
comment
Comment #37331120
Not if the system is strongly normalizing, which most type systems aim for as a design objective: https://en.wikipedia.org/wiki/Normal_form_(abstract_rewritin...
- story