The appeal of bidirectional type-checkinghaskellforall.com3 points·cosmic_quanta··0 commentsOpen articleSaveView on HN