User contributions
Jump to navigation
Jump to search
- 13:23, 5 February 2007 diff hist -24 Talk:Questions and answers ...and now the code snippet actually makes sense! current
- 13:19, 5 February 2007 diff hist -195 Talk:Questions and answers A puzzling answer to one of my questions...
- 17:29, 3 February 2007 diff hist -2 m Lambda calculus
- 17:28, 3 February 2007 diff hist +292 N Lambda calculus Just a small stub.
- 17:24, 3 February 2007 diff hist 0 m Lambda abstraction
- 17:23, 3 February 2007 diff hist +1,216 N Lambda abstraction Somebody who knows WTF they're talking about should probably look at this...
- 13:01, 30 January 2007 diff hist +172 Alpha conversion Added throwaway remark about usage.
- 12:58, 30 January 2007 diff hist 0 m Eta conversion
- 12:58, 30 January 2007 diff hist +289 Eta conversion Added slightly more chatter.
- 12:55, 30 January 2007 diff hist -18 Beta reduction I think my example actually included an eta-reduction as well as a beta conversion. Edited example.
- 16:51, 29 January 2007 diff hist +222 N Eta conversion This is a stub.
- 16:49, 29 January 2007 diff hist +402 N Beta reduction Improvements in wording?
- 16:45, 29 January 2007 diff hist +647 N Alpha conversion Can somebody word this better?
- 11:08, 29 January 2007 diff hist +243 Talk:From a newbie Should this die? current
- 10:56, 29 January 2007 diff hist -12 User:MathematicalOrchid
- 10:55, 29 January 2007 diff hist +52 User:MathematicalOrchid
- 10:52, 29 January 2007 diff hist +109 User:MathematicalOrchid
- 10:51, 29 January 2007 diff hist +914 N User:MathematicalOrchid
- 10:38, 29 January 2007 diff hist +166 Questions and answers Added two small questions.
- 10:34, 29 January 2007 diff hist -755 Questions and answers Removed earlier question. Some formatting changes.