Rare find

DependentTypes. experiments with @robkuz LimitedValue type

github.com/jackfoxy/DependentTypes
by @jackfoxy

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.