Full threadpeterbmarks·Reminds me of Idris from Whitesmiths. https://en.wikipedia.org/wiki/Idris_(operating_system)View on HN