Looks like a fun new project! @puffnfresh: I'm really excited for this: https://github.com/idris-hackers/idris-crypto … #Idris
10:22 AM - 10 Apr 2014
0 replies
3 retweets
4 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.