A compact DSL to let you declare sum data types and define safe functions on them.
Axel Tetzlaff
April 17, 2022 4:11pm
MIT