News for hackers. Stuff that matters.
Re:Houyhnhnm Computing by setra on Sunday May 29, 2016 @09:38PM (#11799099)
decrement is not O(n) in practice just as addition is not horribly slow when defined in idris

There are no comments on this comment yet.