@edwinbrady I hear Idris is not whitespace sensitive, implying that Whitespace programs can be embedded within Idris. Solution is obvious.
-
-
-
@IPv2 It uses whitespace for block structure, but that can be overridden with braces and semicolons. So it might be possible... - 4 more replies
New conversation -
-
-
@edwinbrady There's a PL course? I need to have better knowledge of what's going on :( -
@bishboria Yes, this one: http://blog.inf.ed.ac.uk/apl14/
End of conversation
New conversation -
-
-
@edwinbrady WhiteSpace in Idris? But you'd need new syntax for types and classes, presumably! -
@khstandrews Not really :). https://github.com/edwinb/WS-idr - 1 more reply
New conversation -
-
-
@edwinbrady Slides with whitespace code examples would be nice and quick!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.