I love the Idris developments, but this thread gives a different perspective and gives interesting critiques.https://twitter.com/pressron/status/1115575346315841537 …
-
-
That is: the machine knows a lot of stuff that can help you, and should not keep it to itself. However small it is, writing an "obvious" thing automatically lets you worry about more interesting things. I'm certainly finding this useful in my efforts on Idris 2.
-
That’s exactly how I sell Idris’ interactive editing. The compiler knows a lot, and can help if we let it! This is one example of letting it help, let’s find more cool ways.
End of conversation
New conversation -
-
-
Oh yea I've no idea :) Just, sounded like the thing was more about what some not Edwins might have said and less about the official Idris propaganda or anything. I dunno maybe not very harmful or widespread misunderstanding I dunno...
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.