I love the Idris developments, but this thread gives a different perspective and gives interesting critiques.https://twitter.com/pressron/status/1115575346315841537 …
-
-
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
There is going to be a sequel to Idris?! Awesome.
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.