nilesh, 1 month ago Have a strong urge to invent a new cloud-native, AI-native, dependent-typed #programming language.
Have a strong urge to invent a new cloud-native, AI-native, dependent-typed #programming language.