Dependent types – Idris documentationdocs.idris-lang.org2 points·pyotrgalois··0 commentsOpen articleSaveView on HN