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 …
-
-
I was thinking it was nothing you couldn't do just as well in JS with vscode snippets.
-
Lisp already does it...
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.



)