Respuestas al mensaje #793
-
🔧 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
For the first one, take unit ∙ bind.
Given the curried type judgements
unit: a → M a
bind: M a → (a → M b) → M b
and with
M a ≡ S → a × S
We...