I think I'll go to this! I'm definitely planning to go to http://curry-on.org/2019/sessions/idris-2-type-driven-development-of-idris.html … and I'm looking forward to finding out what state Idris 2 is at by then!https://twitter.com/curry_on_conf/status/1131867649606971392 …
-
-
Replying to @edwinbrady
I'm considering it, but I saw that Brady character do a similar talk at Code Mesh last year and it seemed so fantastical I think it was probably all a clever fake.
1 reply 0 retweets 5 likes -
-
Replying to @edwinbrady
I was thinking it was nothing you couldn't do just as well in JS with vscode snippets.
1 reply 0 retweets 1 like
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.



)