Add idris playground
Merge remote-tracking branch 'prussiap/master'
Remove debug states from ruby Dockerfile
Fix trailing / in ruby PATH
Remove and ignore .DS_Store