Log in
Sign up
See new Tweets

Conversation

bram wyllie
@bitmapperky
·
Jul 25, 2021
why do i feel guilty about import Agda.Primitive renaming (Set to Type)
1
2
Brendan Zabarauskas
@brendanzab
·
Jul 25, 2021
It's the way of the future!
1
bram wyllie
@bitmapperky
·
Jul 25, 2021
:(
Image
1
bram wyllie
@bitmapperky
·
Jul 25, 2021
why is monad like this
1
Brendan Zabarauskas
@brendanzab
·
Jul 25, 2021
what is wrong?
2
Brendan Zabarauskas
@brendanzab
Replying to
@brendanzab
and
@bitmapperky
why is monad like this 🤔 https://agda.github.io/agda-categories/Categories.Monad.html…
2:51 AM · Jul 25, 2021·Twitter Web App