3 ms·The day when LLMs generate useful code with dependent types! That would be awesome!by gylterud 1y agoThe day when LLMs generate useful code with dependent types! That would be awesome!