Functional Futures: Dependent Types with David Christiansenserokell.io3 points·aroccoli··0 commentsOpen articleSaveView on HN