Presenting Mathematical Analysis Using Functional Programmingarxiv.org2 points·dwenzek··0 commentsOpen articleSaveView on HN