Disco: A Functional Programming Language for Discrete Mathematicshttps://arxiv.org/abs/2308.06971 by xwowsersx • 3 years ago 2 0 3 years agoARarxiv.org