A compact DSL to let you declare sum data types and define safe functions on them.
Axel Tetzlaff
April 22, 2022 3:06am
MIT