3 ms·
Urbit was my first thought too, at least in the ambition of starting afresh with alien assumptions. I can understand this a bit better and it doesn't trigger my
by davidgerard 10y ago
Urbit was my first thought too, at least in the ambition of starting afresh with alien assumptions. I can understand this a bit better and it doesn't trigger my "this is all batshit insane" detector. Also, decrement probably isn't O(n).
- setra 10y agodecrement is not O(n) in practice just as addition is not horribly slow when defined in idris