I can’t take the Whitespace PL seriously. It ignores both the Curry-Howard correspondence and Dependent Types. https://en.wikipedia.org/wiki/Whitespace_(programming_language) …
-
-
@edwinbrady@raganwald Next step, an Idris interpreter in Whitespace so you can run Idris-on-Whitespace-on-Idris? -
@pozorvlak@edwinbrady@raganwald One of those IR's would be invisible!
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.