Hacker News new | ask | show | jobs
by nj5rq 683 days ago
The C source code in the GitHub looks... Interesting. At least the "fixpoint" directory.