search

ToJans / idris101

Learning project by a group of people interested in learning the Idris language
http://www.idris-lang.org/
The Unlicense
51 stars 12 forks source link

Introductionary google hangout #15

Closed ToJans closed 9 years ago

ToJans commented 9 years ago

I've setup a doodle for the initial hangout; please pick the times you can make it here.

ToJans commented 9 years ago

I've created a google plus community for this project; I'll assume this will be the easiest way to create a hangout; please send your invitation in!

ToJans commented 9 years ago

I've setup 2 meetings for tomorrow, as we apparently can't make it all according to the doodle:

Feel free to join the meeting you prefer; more details will be posted at the google plus community.