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 …
-
-
can types improve my unedited grammar on that last toot? :)
-
That’s not a challenge I’m willing to accept, but I bet it’s one for
@paulcc_two :) - 1 more reply
New conversation -
-
-
types make people have to think better, most programmers (contrary to popular self belief) don't like that.
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.