15:4715:47, 14 June 2008diffhist−71
Typed lambda calculus
rm "jargon" and "confusing" tags; they don't seem warranted, and anyway such tags are useless unless specifics are given on the talk page
15:4715:47, 14 June 2008diffhist−71
Typed lambda calculus
rm "jargon" and "confusing" tags; they don't seem warranted, and anyway such tags are useless unless specifics are given on the talk page