Slides posted somewhere? [I usually prefer getting the overview from slides than watching video of talks - even though actually being at the talk would have been great.]
-
-
-
It's live hacking, so no slides, sorry! It's mostly about the interaction, here.
- 3 more replies
New conversation -
-
-
Fantastic talk! Love the new features you are adding. Idris is a wonderful language to use; this makes it even better. Compiled Blodwen to use it in emacs. It looks like the emacs bindings use ide-mode-socket which isn't supported. Is that going away or just not implemented yet?
-
Thanks, glad you liked it! I've just done the minimum to get it up and running in Atom. I'll come back to it later (unless someone else gets there first!)
End of conversation
New conversation -
-
-
Great talk! I'm curious to see what is inside Linear.idr.
-
You're in luck, because it's in the test suite :) https://github.com/edwinb/Blodwen/blob/master/tests/blodwen/linear005/Linear.blod …
End of conversation
New conversation -
-
-
There was definitely a cricket reference there. I put it in just for you!
- 2 more replies
New conversation -
-
-
So when are you going to ship a video game written with Idris 2? Let's see some modern graphics!
-
tired: Turing-complete wired: Pac-man-complete inspired: (Nvidia-Turing™)-complete
- 14 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.