1. 52
    Idris 2 version 0.4.0 released plt release idris-lang.org
    aarroyoc avatar via aarroyoc 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments