Video: dependently typed programming in Idris tech talkvimeo.com1 point·ciderpunx··0 commentsOpen articleSaveView on HN