Interestingly, this is one of the examples in the idris-demos repo. Binary arithmetic is equivalent to unary. https://github.com/idris-hackers/idris-demos/blob/master/Binary/binary-final.idr#L61 …https://twitter.com/mpweiher/status/821005388057378817 …
That’s not a challenge I’m willing to accept, but I bet it’s one for @paulcc_two :)
-
-
Nope. Tests are your only hope. With big electrodes.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.