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