The Power of Dependent Types (Tutorial)idris2.readthedocs.io2 points·jnash··0 commentsOpen articleSaveView on HN