@edwinbrady great just when I'm starting TDD with #idris!
-
-
-
@etorreborre I'm now tagging chapters with the version you need :). Hopefully the last of the big changes is done now… - 2 more replies
New conversation -
-
-
@edwinbrady thank you for Idris! -
@kuhnhausen you're very welcome, I hope you have fun with it :)
End of conversation
New conversation -
-
-
@edwinbrady Microsoft would have called it “Idris 2017”. -
@j05e Or maybe I should have taken the current version number of Haskell and added 1.
End of conversation
New conversation -
-
-
@edwinbrady Interesting to see google in the contributors list :) Congrats on the new release. -
@JTParker09 I think that was someone who did a bit on work time...
End of conversation
New conversation -
-
-
@edwinbrady yay! Congrats!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady congrats!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.