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
It's not based on tactics, tactics were somehow an accident of the previous implementation. But there will be some form of reflection (there already is).
-
-
Being able to avoid a tactics language, but accomplish something similar starting entirely in Idris is what I'd like, and seems where you're heading
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.