2 ms·
Must be my monkey-brain trying to explore the unfamiliar by finding similarities to what I already know. I may of course simply be looking through a bottle (an
by agentultra 13y ago
Must be my monkey-brain trying to explore the unfamiliar by finding similarities to what I already know.
I may of course simply be looking through a bottle (and constrained by backwards-tracking logicians).
All of this is starting to smell of an Incompleteness Theorem of Programming Languages.
- agentultra 13y agoI 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. :)