I love the Idris developments, but this thread gives a different perspective and gives interesting critiques.https://twitter.com/pressron/status/1115575346315841537 …
-
-
Yeah, that's the impression I've gotten from your talks: More about this kind of thing being within reach, without reaching *very* far. Less about the actual trick.
-
(I think maybe the actual trick is sometimes made more into the point by people in audience. Because, well, it *is* cool. Criticism may be related to that.)
- 4 more replies
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.