list
Merge branch 'no-implicit-prelude' of github.com:NICTA/course into no-implicit-prelude