As the designer of the Strict pragma I can say that Idris had nothing to do with anything.