Text framework for Idris