User talk:Lambdageek

From Wikipedia, the free encyclopedia

[edit] Type theoretical notation

Hi Lambdageek and welcome to editing Wikipedia! You've probably noticed that type theory isn't well-discussed yet. What you added at Algebraic data type didn't seem too clear to me: I admit I have only superficial knowledge of type theory, but so do many of our readers. I hope you don't mind that I added a bit that might not be theoretically sound to say. What is mu and roll, inl, and inr? Also at Recursive type, should the first mu be bolded and can you clarify why you call the type list? --TuukkaH 11:45, 1 February 2006 (UTC)