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?
-
-
-
Replying to @milessabin
I think this will be a problem for others too. But I value my weekends too much to organise work events on them, especially during term! Still, we have technology. There must be a way to help people participate remotely up to a point.
3 replies 0 retweets 9 likes -
Replying to @edwinbrady @milessabin
If this is done digitally would it be possible to have it recorded and uploaded to YouTube or similar?
1 reply 0 retweets 3 likes -
Replying to @louispilfold @milessabin
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)
1 reply 0 retweets 2 likes -
Replying to @edwinbrady @milessabin
That's fair. I'm definitely interested in learning more but finding time is tricky.
1 reply 0 retweets 0 likes
We should write stuff up too! But meeting in person seems to work really well, if only because everyone is focussed for a short time.
-
-
i could join remotely, but going to st andrews is rough
0 replies 0 retweets 0 likesThanks. 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.