Proposal on how to cooperate - suggestions welcome
ToJans opened this issue · 1 comments
ToJans commented
Hi all,
I've setup a preliminary template on how we should cooperate.
This is only a first draft; feel free to change it if you think it needs updating; your guess is as good as mine!
You can read the template here
ToJans commented
We've decided to go for slack.com during the week for async communication.
I've sent out an invite to the people who's email address I've found. If you didn't receive an invite, please let me know.
We will have our first meeting where we will try to solve issue #17 On 2015/01/04 at 9.00PM CET+1 using google hangouts.
Try to get your Idris dev env up & running before that!