Viewing profile — abstra4free
abstra4free
HN member- Joined
- Sat, Dec 28, 2024, 5:42 AM UTC
- HN karma
- 3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About abstra4free
No profile information was provided.
Recent public activity
-
comment
Comment #42528933
Theorems for Free tells you that some abstractions satisfy some mathematical properties (for free!) under some circumstances. If you write down a function with signature {T : Type}…