idris-lang/Idris-dev — pull request #1186 by david-christiansen (2014-05-04 18:16:47+00:00)
Title: Improve docs for `so`

Now they include a new user warning.