Google Summer of Code 2017 ideas & plans

About

Many developers in the Idris project have expressed interest in participating in Google Summer of Code (GSoC).
Recently, the 2017 version of GSoC has been announced, and so this page serves as a place to collect ideas and plans about possible projects and organisational structure.

Organisation

There are some links from Google directed at defining and organising a summer of code as a mentoring organization: