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
-
-
Do you have a plan for tactics yet? I guess elaboration reflection, but in Idris this time? (Crosses fingers)
-
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).
- 1 more reply
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.