gijvikvff·5 ปีที่แล้ว·discussI think they just mean that they wouldn't necessarily have heard about or got into Agda otherwise.