Scala vs Idris: Dependent Types, Now and in the Futureinfoq.com3 points·milessabin··0 commentsOpen articleSaveView on HN