21 ms·
> I wonder if we'll ever use AI to write code in dependently typed languages Yeah, I write code in Lean with AI pretty frequently lately
by gaogao 1y ago
> I wonder if we'll ever use AI to write code in dependently typed languages
Yeah, I write code in Lean with AI pretty frequently lately