Why Aren't Idris Interfaces Verified?nickdrozd.github.io3 points·nickdrozd··0 commentsOpen articleSaveView on HN