Crash Course in Idris: A Language for Type-Driven Developmentidris2.readthedocs.io6 points·kyleee··0 commentsOpen articleSaveView on HN