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 …
Sounds good. I was at a departmental away day instead today… (“away” meant the other end of St Andrews)
-
-
would have been nice to see you. Hope the day went well. I plan on screencasting the talk when I get back to Bloomington.
-
nice, I look forward to seeing it, if that happens!
End of conversation
New conversation -
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.