3 ms·
I think I get it now. Sort of like a sequent calculus without the logic backtracking. Instead of proving anything Hoon just defaults it to something. Or crashes
by agentultra 13y ago
I think I get it now. Sort of like a sequent calculus without the logic backtracking. Instead of proving anything Hoon just defaults it to something. Or crashes. :)