4 ms·
Whitespace was created by Edwin Brady, notably the same creator of the much more practical Idris language: https://www.idris-lang.org/ https://www.idris-lang.or
by remexre 6y ago
Whitespace was created by Edwin Brady, notably the same creator of the much more practical Idris language: https://www.idris-lang.org/ https://www.idris-lang.org/
- aarchi 6y agoIn fact, Edwin Brady wrote a Whitespace interpreter in Idris: https://github.com/edwinb/WS-idr https://github.com/edwinb/WS-idr
- an_ko 6y agoI and a few other students once cornered him to ask if he's the same Edwin Brady who wrote whitespace. He said no, it must be some other Edwin Brady. We returned later, with better evidence. He said "Ok, yes, it was me. But in my defense, I was drunk at the time." :)