In fact, Edwin Brady wrote a Whitespace interpreter in Idris: https://github.com/edwinb/WS-idr