3 ms·
Idris. Really interesting language exploring dependent types for practical programming, but not yet production ready.
by llull 11y ago
Idris. Really interesting language exploring dependent types for practical programming, but not yet production ready.