[clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?

[Adam Megacz]

TK <0000tk at gmail.com> writes:
>   **      THIS IS A WARNING MESSAGE ONLY      **
>   **  YOU DO NOT NEED TO RESEND YOUR MESSAGE  **

No, this is unrelated to posting messages (and only a warning, not a
failure).

I've posted a copy of my email here, since the mailing list has
apparently now refused to accept three separate copies of it:

  http://www.megacz.com/tmp/post.txt

  - a