Idris: A Language for Type-Driven Developmentidris-lang.org21 points·piotrzientara··0 commentsOpen articleSaveView on HN