Type Save Division in Idris Using Dependent Typesgist.github.com2 points·mrbbk··0 commentsOpen articleSaveView on HN