3 ms·The C source code in the GitHub looks... Interesting. At least the "fixpoint" directory.by nj5rq 2y agoThe C source code in the GitHub looks... Interesting. At least the "fixpoint" directory.