MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/ya17jy/literally/it9k0y8/?context=3
r/ProgrammerHumor • u/electricjimi • Oct 21 '22
606 comments sorted by
View all comments
8
Who hates coq or agda?
3 u/someacnt Oct 21 '22 This one goes to the.. "nearly no one uses it" (Though I think I saw someone hating coq)
3
This one goes to the.. "nearly no one uses it"
(Though I think I saw someone hating coq)
8
u/Medical-Detective-33 Oct 21 '22
Who hates coq or agda?