I'm unreasonably excited about having implemented enough of the Idris ide-mode in Blodwen to allow this to work. Next, better name generation...pic.twitter.com/dLlsuH8SBP
-
-
Need help with improving the search? Or trying to improve it I guess. :) Last time we talked about this it seemed too hard to work with the internals of Idris (to me at least) but maybe with Blodwen that'll be better?
-
I think it will be much easier to plug in a variety of search strategies. At the moment I want to work out what the primitives should be to make that as easy as possible.
- 2 more replies
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.