Dependent types – Idris documentation(docs.idris-lang.org)2 points by pyotrgalois 11 years ago | 0 commentsNo comments yet