Respuestas al mensaje #10,501

🔧 Site instability resolved. You can report double-posts and broken attachments. For bigger issues, use the Technical Grievances thread.
🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.

considering that things like c++ template expansion may never terminate, i wouldn't say dependent types are a dead end off the bat like that there...