[Typer] Idris Developers Meeting