I think I'd like to organise an Idris developer meetup later this year (say October / November), in St Andrews, with the main goal of teaching people how Idris 2 works so that it's not just me responding to issue reports. Would anyone turn up?
-
-
If this is done digitally would it be possible to have it recorded and uploaded to YouTube or similar?

-
I don't know how much of it would be appropriate to upload, but we can consider it. (e.g. I wouldn't want anyone to hold back on some valuable half baked idea in case the internet might see it years later)
- 3 more replies
New conversation -
-
-
It's not the travel ... it's taking the time off the day job.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Weekend would be a deal breaker for me.
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.