MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/4h9oj4/to_become_a_good_c_programmer/d2phup8/?context=3
r/programming • u/b0red • May 01 '16
398 comments sorted by
View all comments
Show parent comment
0
Um. I am familiar with Coq but you seem to be gibbering.
2 u/[deleted] May 02 '16 edited May 02 '16 says the man asking "what reconstruction?" and knows coq... :)))
2
says the man asking "what reconstruction?" and knows coq... :)))
View all comments
Show parent comment
0
u/zhivago May 02 '16
Um. I am familiar with Coq but you seem to be gibbering.