Viewing profile — gijvikvff
gijvikvff
HN member- Joined
- Fri, Oct 29, 2021, 2:48 AM UTC
- HN karma
- 3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About gijvikvff
No profile information was provided.
Recent public activity
-
comment
Comment #29034643
I think they just mean that they wouldn't necessarily have heard about or got into Agda otherwise.