This pull request both scares and fascinates me... https://github.com/idris-lang/Idris-dev/pull/1300 …
-
-
Replying to @edwinbrady
@edwinbrady oh! oh! please please please :) I don't do much 8bit dev, but my day job is embedded development. These sorts of things matter.1 reply 0 retweets 1 like
Replying to @JobVranish
@JobVranish It sounds great. I'd love to see it work. Lots to do before it's realistic I think, but very much worth doing!
12:57 PM - 9 Jun 2014
0 replies
0 retweets
1 like
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.