User talk:Txa

Welcome #2
I've seen your work on Martin-Loef's type theory: glad to see someone with what I take to be your interests here. I'd love to know more about your interests. --- Charles Stewart 20:25, 23 May 2005 (UTC)

project:TCS?
Is there a wiki project on Theoretical Computer Science?

Thorsten 21:20, 16 May 2005 (UTC)


 * No, and though a few people have had the idea there should be one, I know of no credible plan for administering one, which I think is necessary since most wikiprojects fail to provide much in the way of useful coordination: compare the success of the wonderful WP Mathematics to the failure that is WP Philosophy. I think we are closer to getting a WP Logic off the ground than a WP TCS.  Take a look at the invitation to contribute at Wikipedia talk:WikiProject Logic... --- Charles Stewart 20:18, 24 May 2005 (UTC)

Reply to mail
Sorry for late reply. When you are logged in via your own user, you shouldn't have a problem. Are you sure you were logged in at the time? I do remember some NTL ip was blocked briefly but I am unable to remember among so many other blocks. Respond on my talk page if you have any questions. Inter\Echo 16:35, 14 Jun 2005 (UTC)

Per Martin-Löf image caption
The image markup can be a little tricky. You just had to swap "frame" for "thumb".eg, " " instead of "  ". I like the photo. Its brooding. --Commander Keane 09:29, August 5, 2005 (UTC)

dependent types
I tried adding a few expository sentences to the article on dependent types. I'd be grateful if you could check whether I messed it up too badly. Thanks. 207.241.239.70 (talk) 08:40, 22 November 2008 (UTC)

Deletion discussion about Dependent ML
Hello, Txa, and thanks for contributing to Wikipedia!

I wanted to let you know that some editors are discussing at Articles for deletion/Dependent ML whether the article Dependent ML should be in Wikipedia. I encourage you to comment there if you think the article should be kept in the encyclopedia.

The deletion discussion doesn't mean you did something wrong. In fact, other editors may have useful suggestions on how you can continue editing and improving Dependent ML, which I encourage you to do. If you have any questions, feel free to ask at the Help Desk.

Thanks again for your contributions! Stuartyeates (talk) 06:39, 17 November 2011 (UTC)