Update 2014-01-03-readings-in-linear-logic.markdown

Adding information regarding ATS
Merge pull request #11 from stevej/patch-1

Update 2014-01-03-readings-in-linear-logic.markdown