4 ms·
The "Concept" idea is very cool... seems like it would make it really easy to construct refinement types and build validation into the type system.
by md224 5y ago
The "Concept" idea is very cool... seems like it would make it really easy to construct refinement types and build validation into the type system.