Comment by peterbmarks

Reminds me of Idris from Whitesmiths. https://en.wikipedia.org/wiki/Idris_(operating_system)