5 ms·

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

• guerrilla 5y ago
  Now read their answer :)