What logic corresponds via Curry-Howard to a monad?https://cstheory.stackexchange.com/questions/42689/what-logic-correponds-via-curry-howard-to-a-monad …
0 replies
8 retweets
18 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.