Disco: A Functional Programming Language for Discrete Mathematicsarxiv.org2 points·xwowsersx··0 commentsOpen articleSaveView on HN