Search
 
   

4 results for "domain:idris-lang.org"

  1. 49
    Idris 1.0 Released programming release idris-lang.org
    clacke avatar via clacke 1 year ago | cached | 7 comments
  2. 34
    Towards Idris Version 1.0 programming idris-lang.org
    sanxiyn avatar via sanxiyn 1 year ago | cached | 4 comments
  3. 20
    Idris 0.9.15.1 released programming idris-lang.org
    japesinator avatar via japesinator 3 years ago | cached | 2 comments
  4. 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