Replies to message #793
-
🏰 Deploying update to the Tatarus security page. If you encounter issues, post here.
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...