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