Definitions for "Idris"
Idris is an operating system released by Whitesmiths, of Westford, Massachusetts.