gijvikvff | 4 years ago | on: Seemingly impossible functional programs (2007)
I think they just mean that they wouldn't necessarily have heard about or got into Agda otherwise.
gijvikvff's comments
page 1
gijvikvff | 4 years ago | on: Seemingly impossible functional programs (2007)