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'd be more satisfying if it found 'zipWith' for implementing transposeHelper. Maybe I'll come back to that...
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
May I ask what editor it is which is talking to the ide-mode there?
-
That's Atom. (I actually use vim but I understand enough about the Atom mode for it to be easily hackable :))
End of conversation
New conversation -
-
-
What does the 1 next to the xs mean?
-
"Use this exactly once". That's how it knows 'transposeHelper' won't use 'xs'.
- 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.