Dependent types – Idris documentation #1 Post by pyotrgalois » Wed, Sep 02, 2015, 1:52 AM UTC Dependent types – Idris documentationdocs.idris-lang.org