User contributions
Jump to navigation
Jump to search
- 10:13, 6 February 2007 diff hist -16 Prime numbers Corrected numerous outright bugs in the code (!)
- 16:41, 5 February 2007 diff hist +595 N Talk:Prime numbers An interesting thought
- 16:33, 5 February 2007 diff hist +707 N Prime numbers I hope this amuses somebody...
- 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