Hacker News new | ask | show | jobs
by 2snakes 123 days ago
Wasn’t this idea the basic premise of coq? Why didn’t it work?