4 ms·
In fact, Edwin Brady wrote a Whitespace interpreter in Idris: https://github.com/edwinb/WS-idr https://github.com/edwinb/WS-idr
by aarchi 6y ago
In fact, Edwin Brady wrote a Whitespace interpreter in Idris: https://github.com/edwinb/WS-idr https://github.com/edwinb/WS-idr