gijvikvff

↗ HN profile [ 28.3 ms ] full profile

Karma: 3
Created: October 29, 2021 (4y ago)
Submissions: 0

I think they just mean that they wouldn't necessarily have heard about or got into Agda otherwise.

4y ago · view thread · ↗