Respuestas al mensaje #795
-
🔧 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.
Programming thread
I wrote unit∙bind off intuition because I was looking for an expression of type S → I → S, then I rolled with it. It's not the most elegant thing...