Agenda for the next day or so is to brainstorm ideas and get the generated sample code converted to Kotlin.

I've got Kotlin working with libGDX!

Downside is that html target can't work due to how GWT generates JS code. I wrote a blog post about it here: https://jameswilliams.be/blog/2015/12/21/Using-Kotlin-with-libGDX.html