Sitting at the Idris workshop and thinking, "Dang, I wish the editor experience in Haskell was this nice".
-
-
@edwinbrady No worries! Thank you for the Idris workshop. It was nice to play & practice. Reminds me that I want dependent types soon!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.