Comment by 2snakes 9 days ago Wasn’t this idea the basic premise of coq? Why didn’t it work? 0 comments 2snakes Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗