Maybe if I (or someone else) write(s) an interactive editor for Idris, this sort of argument will go away... http://www.reddit.com/r/haskell/comments/1f75ge/ann_idris_098_released/ …
-
-
@edwinbrady any idea when we'll start to see new toys? No pressure, just wondering... -
@paulcc_two What sort of toys are you after? I am just starting to get back into hacking mode so toys may be forthcoming... - 1 more reply
New conversation -
-
-
@edwinbrady@larrytheliquid@Simon_JF Yes, pressure. :-P -
@heades@edwinbrady@simon_jf added some retweet pressure :)
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.