Programming with dependent types in Idris [video]youtube.com2 points·sgrove··0 commentsOpen articleSaveView on HN