ToJans/idris101 — pull request #2 by AntoniosK (2014-11-28 12:39:08+00:00)
Title: Update README.md

Added Antonios Klimis to the list.