sandalphon.types. naïve set arithmetic + CL types reification

github.com/Bike/sandalphon.types
by @Bike

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.