1. 52
    Idris 2 version 0.4.0 released plt release idris-lang.org
    aarroyoc avatar via aarroyoc 3 months ago | cached | no comments

  1.