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?
-
-
That's fair. I'm definitely interested in learning more but finding time is tricky.
-
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.
- 1 more reply
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.
