1. 1
    Scala vs Idris: Dependent Types, Now and in the Future video compsci scala infoq.com
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | no comments

  1.