@edwinbrady is yesterday's #idris run length encoding example available anywhere? I'd really like to show it to my colleagues
-
-
Replying to @erikrozendaal
.
@erikrozendaal Yes, all yesterday's demos are on github. RLE example is at https://github.com/edwinb/idris-demos/blob/master/RLE/rle.idr …3 replies 1 retweet 6 likes -
Replying to @edwinbrady
@edwinbrady@erikrozendaal Doesn't it do a lot of extra work by throwing away rs at line 27?1 reply 0 retweets 0 likes
Replying to @sjoerd_visscher
@sjoerd_visscher @erikrozendaal Good point, that would be a silly way to do it. We could just traverse RLE.
8:20 AM - 6 Dec 2013
0 replies
0 retweets
0 likes
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.