The whole point of my interleave question was to find a notation, but. I learned so much more in the meantime (except for the notation) :-)
-
-
@edwinbrady@mbrcknl I've built Idris, but I'm stuck at "load this example into the console" :-( -
@fogus until I make it a bit cleverer, you'll need to put it in a file. But yes, it is basically@christopherdone's version (which I missed)
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.