[gijvikvff]

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

[guerrilla]

Now read their answer :)