The source code for the demonstration of playframework at HK Functional Programming's meetup