The algebra (and calculus!) of algebraic data types

codewords-test.recurse.com
May 24, 2025, 11:46 PM