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 …
-
-
too bad you didn't make it!
-
Sounds good. I was at a departmental away day instead today… (“away” meant the other end of St Andrews)
- 2 more replies
New conversation -
-
-
yes, I think it went pretty well. Folks seemed to understand it. We went from "knows some functional programming" to...
-
"deriving s-expression serialization type class" in an hour
- 1 more reply
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.