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
[ Parent
| on HN ]
There are no comments on this comment yet.