You are viewing a single thread.
View all comments 24 points
Javascript and not Coq?
39 points
1 point
Javascript and not Coq?
Post funny things about programming here! (Or just rant about your favourite programming language.)
4.3K
Monthly active users
944
Posts
10K
Comments