1. 3
    Idris is a general purpose pure functional programming language with dependent types. programming idris-lang.org
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | no comments

  1.