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
-
-
Really cooking now... see if you can spot the things that Idris can't do in here :).pic.twitter.com/7AEIeX6Zzi
Show this thread -
-
It'd be more satisfying if it found 'zipWith' for implementing transposeHelper. Maybe I'll come back to that...
Show this thread
End of conversation
New conversation -
-
-
I probably don't say this enough publicly (or privately): It is really nice to see this work progressing. I find it easier to understand how Idris' internals work with the Idris implementation rather, than the Haskell code.
-
So do I :). I think probably because with this implementation I had a much better idea where it was going to go at the start...
- 3 more replies
New conversation -
-
-
oh very nice
-
It'll be nicer still when I get the expression search running too :)
End of conversation
New conversation -
-
-
What IDE is that?
-
It's just Atom. But if the ide mode works there, it should work elsewhere...
End of conversation
New conversation -
-
-
This is very satisfying to watch!
-
It certainly is :). It'll be more pleasing when expression search works too...
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.