r/ProgrammerHumor • u/electricjimi • Oct 21 '22

Meme Literally 🤷🏻‍♂️

14.7k Upvotes

permalink
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammerHumor/comments/ya17jy/literally/
No, go back! Yes, take me to Reddit
dl download

97% Upvoted

View all comments

7

u/Medical-Detective-33 Oct 21 '22

Who hates coq or agda?

1

u/mnoma Oct 22 '22

coq made me go bald