Replies to message #795

  • 🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.
Citation Checking Project

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...
Back
Top Bottom